Formala lingvo

Ne konfuzu ĉi tiun artikolon kun Formala parolmaniero.

Vastasence formala lingvo estas lingvo kies sintakso kaj semantiko havas rigoran matematikan difinon.^[1] Gravaj ekzemploj estas la programlingvoj kaj diversaj logikaj kalkuloj. La nocio apartenas al semiotiko, matematiko, komputado, lingvoscienco.

Formalaj difinoj semantikaj estas diversaj kaj malfacilaj, dum por la priskriboj sintaksaj ekzistas tute taŭgaj kaj ĝenerale akceptitaj rimedoj teoriaj kaj praktikaj. Krome, la idealo matematika estas redukti semantikon al sintaktso (rezoni laŭforme, konkludi pri vereco surbaze de sintaksa ĝusteco). Tio plene prosperis pri la propozicia kalkulo; tio maleblas pri formalaj sistemoj pli malsimplaj.

Ĉi-sube formala lingvo estos traktata en la malvasta signifo sintakse formala lingvo. Ĝi precipe aktualas por teorio de aŭtomatoj, teorio de komputebleco, teorio de algoritmoj. Ĝi estas studata en la teorio de formalaj gramatikoj.

1. ↑ Komputada Leksikono.