Terminální a neterminální symbol

Technology

12 hours ago

Author

Terminální a neterminální symboly jsou prvky používané v teorii formální jazyků pro popis jazyka pomocí formální gramatiky.

Gramatiky používají pro popis jazyka přepisovací pravidla, která obsahují terminální a neterminální symboly.

Terminální symboly (krátce terminály) jsou symboly, které už nemohou být dále přepisovány. Slova generovaná gramatikou obsahují pouze terminální symboly.

Neterminální symboly (krátce neterminály) jsou pomocné symboly, které se používají v přepisovacích pravidlech pro popis struktury jazyka. Můžeme považovat za reprezentaci syntaktických kategorií. +more Někteří autoři je nazývají proměnné .

Konvence a pravidla

V teorii formálních jazyků se pro neterminály obvykle používají velká písmena latinské abecedy, a pro terminály malá písmena. V Backusově-Naurově formě (BNF) se názvy terminálů ohraničují špičatými závorkami, např. +more <příkaz>; v rozvinuté Backusově-Naurově formě (EBNF) se naopak terminální symboly píšou do uvozovek nebo apostrofů, např. 'while', ". =".

{{Kotva|Preterminální symbol}} Preterminální symboly

Název preterminální symbol se někdy používá pro neterminální symboly, které se přímo přepisují na jednotlivé terminální symboly. Při zpracování přirozeného jazyka mohou být preterminály slovní druhy nebo morfologické značky. +more Preterminální symboly mohou tvořit rozhraní mezi syntaktickou i lexikální analýzou - z pohledu syntaktické analýzy jsou to terminály, z pohledu lexikální analýzy neterminály.