Taula de continguts
3 les relacions: Analitzador sintàctic, Gramàtica lliure de context, Llenguatge formal.
Analitzador sintàctic
Exemple d''''Anàlisi sintàctica''' d'una expressió matemàtica En informàtica, un Analitzador sintàctic (Parsing en anglès) és un procés informàtic d'anàlisi d'una seqüència d'entrada (provinent d'un teclat o d'un arxiu, per exemple), per poder determinar-ne l'estructura gramatical i comparar-la amb una Gramàtica formal (estructura abstracta que descriu un Llenguatge formal amb precisió).
Veure Gramàtica lliure de context determinista і Analitzador sintàctic
Gramàtica lliure de context
En lingüística i informàtica, una gramàtica lliure de context (o de context lliure) és una gramàtica formal en la qual cada regla de producció és de la forma: On V és un símbol no terminal i w és una cadena de terminals i/o no terminals.
Veure Gramàtica lliure de context determinista і Gramàtica lliure de context
Llenguatge formal
teoremes. En alguns sistemes formals, però, el conjunt dels teoremes coincideix amb el de les fórmules ben formades. A matemàtiques, lògica, i ciències de la computació, un llenguatge formal és un llenguatge on els símbols primitius i regles per a unir aquests símbols estan formalment especificats.
Veure Gramàtica lliure de context determinista і Llenguatge formal