Jancar's formal system for deciding bisimulation of first-order grammars and its non-soundness
classification
💻 cs.FL
cs.LO
keywords
bisimulationfirst-orderformalgrammarsproofsystemaboveanalyze
read the original abstract
We construct an example of proof within the main formal system from arXiv:1010.4760v3, which is intended to capture the bisimulation equivalence for non-deterministic first-order grammars, and show that its conclusion is semantically false. We then locate and analyze the flawed argument in the soundness (meta)-proof of the above reference.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.