Author: Van der Merwe, A. B.
Similar Items: Regulated rewriting in formal language theory
- A duality theoretic perspective on recognisable languages
- Generalized nondeterminism and the succinct representation of regular languages
- Local class field theory via Lubin-Tate theory
- Rule-Based Machine Translation: An Interface between Formal and Natural Language Syntax A Violation of Case Filter Principle
- Formal specification and verification of safety interlock systems: A comparative case study
- Formal verification of automotive embedded UML designs