A Codatatype of Formal Languages.

Dmitriy Traytel

Published in: Arch. Formal Proofs (2013)

Keyphrases

formal languages
formal language theory
natural language
context free grammars
pattern languages
formal language
database systems
object oriented
knowledge acquisition