Login / Signup
Short Decidability Proof for DPDA Language Equivalence via 1st Order Grammar Bisimilarity
Petr Jancar
Published in:
CoRR (2010)
Keyphrases
</>
natural language
hidden markov models
theorem prover
language learning
databases
context free grammars
linguistic knowledge
formal languages