formal language

formal language (tsz. formal languages)

1. (informatika, mesterséges intelligencia) Formal Language (formális nyelv) egy olyan nyelv matematikai vagy szimbolikus szabályrendszer alapján, amely meghatározza a benne szereplő szavak vagy szimbólumsorozatok helyességét. Formális nyelveket elsősorban a számítástudomány, nyelvészet és matematika területén használnak az algoritmusok, programok és grammatikák leírására.

Egy formális nyelv egy adott ábécé (szimbólumhalmaz) véges vagy végtelen sorozatainak halmaza, amelyeket előre meghatározott szabályok (grammatika) szerint definiálnak. Ezek a szabályok határozzák meg, hogy mely sorozatok tartoznak a nyelvhez.

• Ábécé (Alphabet): Egy véges szimbólumkészlet, például ${\textstyle \Sigma =\{a,b\}}$.
• Szó (Word): Az ábécé szimbólumaiból álló véges hosszúságú karakterlánc, például „abba”.

Egy formális nyelv ${\textstyle L}$ az ábécé ${\textstyle \Sigma }$ összes lehetséges szavának egy részhalmaza, vagyis ${\textstyle L\subseteq \Sigma ^{*}}$, ahol ${\textstyle \Sigma ^{*}}$ az összes lehetséges szó halmaza az ábécéből.

A formális nyelvek generálására vagy felismerésére használják a formális grammatikákat (pl. Chomsky-féle nyelvtani osztályok):

• Reguláris nyelvek: Egyszerű mintázatok, amelyek reguláris kifejezésekkel is leírhatók.
• Kontekstusfüggetlen nyelvek: Több rétegbeli szerkezetet írnak le, pl. programozási nyelvek.
• Kontekstuális nyelvek és Turing-teljes nyelvek: Bonyolultabb nyelvtípusok, amelyek nagyobb számítási erejű modellekkel kezelhetők.

• Programozási nyelvek specifikációja
• Fordítók és elemzők készítése
• Számítógépes nyelvek és protokollok tervezése
• Formális verifikáció és modellezés

A formális nyelv egy matematikailag meghatározott karakterlánc-halmaz, amely meghatározott szabályok (grammatika) szerint van definiálva. Alapvető eszköz a számítástudományban és nyelvészetben az algoritmusok, programozási nyelvek és egyéb formális rendszerek modellezésére és elemzésére.

• formal language - Szótár.net (en-hu)
• formal language - Sztaki (en-hu)
• formal language - Merriam–Webster
• formal language - Cambridge
• formal language - WordNet
• formal language - Яндекс (en-ru)
• formal language - Google (en-hu)
• formal language - Wikidata
• formal language - Wikipédia (angol)