formal language

Angol

Főnév

formal language (tsz. formal languages)

(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.

1. Mi az a formális nyelv?

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.

2. Ábécé és szavak

Á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”.

3. Formális nyelv definíciója

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.

4. Grammatika és nyelvtan

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.

5. Felhasználás

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

6. Összefoglalá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.

További információk

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)