Lógica de predicados: diferenças entre revisões

Lógica de predicados podem ser visualizadas sintaticamente pela gramática de [[Noam Chomsky|Noam Chomsky]]. Como tal, lógica de predicados (assim como lógicas modiasmodais e mistura de modais da lógica de predicados) podem ser vistas numa gramática sensíveis ao contexto, ou mais tipicamente livre de contexto. Cada uma dos quatro tipos da gramática de Chomsky têm uma equivalência na [[Teoria dos autômatos]], portanto estas lógicas podem ser vistas como autômatasautômatos também.