Ementa/Descrição: |
linguagens regulares, livres de contexto e recursivas. operações e propriedades de linguagens. geradores de linguagens: expressões regulares, gramáticas livres de contexto, gramáticas irrestritas. reconhecedores de linguagens: autômatos finitos, autômatos de pilha, máquina de turing. problema da parada. |