An Approach to a Unified Theory of Automata¶

Hopcroft, J. E., & Ullman, J. D. (1967). An Approach to a Unified Theory of Automata. 8th Annual Symposium on Switching and Automata Theory.

Type: Conference paper
Intellectual base: Primary research
Year: 1967
DOI: 10.1109/focs.1967.4
Link: https://doi.org/10.1109/FOCS.1967.4

Cited by¶

1 citation across 1 artifact.

Domain-specific¶

Emptiness problem
- If the product language is empty, no encoded bad trace exists; otherwise the accepting path supplies a counterexample.

Verification¶

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:53ba2bc5b757 · see in the full table