Biçimsel dil, belirli bir alfabenin simgelerinden oluşturulan sonlu dizgelerin bir kümesidir. Matematik, mantık ve bilgisayar bilimlerinde, ifadelerin hangi kurallara göre geçerli sayıldığını kesin biçimde incelemek için kullanılır.[1]
ALFABE VE DİLBİLGİSİ
Alfabe, kullanılabilecek simgeleri belirler. Dilbilgisi ise üretim kuralları aracılığıyla kabul edilen dizgeleri tanımlar. Örneğin dengeli parantez ifadelerinin oluşturduğu bir dilde “(())” geçerli olabilirken “(()” geçersizdir. Bu ayrım, ifadenin anlamından önce biçiminin kurallara uyup uymadığıyla ilgilidir.[1]
KULLANIM ALANLARI
Programlama dillerinin sözdizimi, derleyicilerdeki ayrıştırma işlemleri ve otomata kuramı biçimsel dillerden yararlanır. Bağlamdan bağımsız dilbilgileri, iç içe geçen birçok yapıyı tanımlayabilir. Bir ayrıştırıcı, verilen dizgenin dilbilgisine uygunluğunu araştırır ve yapısını belirler. Sözdizimsel uygunluk, programın amaçlanan işi yaptığı veya anlamsal olarak doğru olduğu sonucunu tek başına vermez.[1]