by AskEddyHowTo . 7 years ago
171
More like this
by El Frikii
by Andiiee Teck
by jesus carrillo
by Gabriel Alberto Diele
Es una clasificación jerárquica de distintos tipos de gramáticas formales que generan lenguajes formales. Esta jerarquía fue descrita por Noam Chomsky en 1956.
L/P puedo no ser recursivamente enumerable
Si L es un lenguaje regular, entonces L es un lenguaje recursivo
Automata Linealmente Acotado
Descrito por:
una expresión regular
Generado por:
una gramática regular
una gramática de prefijos
Recocido por:
un autómata finito determinista
un autómata finito no determinista
un autómata de pila
un autómata finito alterno
una máquina de Turing de solo lectura
Derivacion por la derecha
Si siempre reemplazamos primero el no terminal de más a la derecha.
Derivacion por la izquierda
Si introducimos estrategias como reemplazar siempre el no terminal de más a la izquierda primero