J. E. Mezei
Publications by Year
Research Areas
semigroups and automata theory, DNA and Biological Computing, Formal Methods in Verification, Computability, Logic, AI Algorithms, Logic, programming, and type systems
Most-Cited Works
- → Introduction to the Theory of Finite-State Machines(1964)595 cited
- → On Relations Defined by Generalized Finite Automata(1965)314 cited
- → Algebraic automata and context-free sets(1967)219 cited
- → General Arrays, Operators and Functions(1973)53 cited
- → Two-sided finite-state transductions(1963)8 cited
- → Uses of general arrays and operators(1974)3 cited
- → Minimal Characterizing Experiments for Finite Memory Automata(1961)1 cited
- Two-sided finite-state transductions (abbreviated version)(1963)
- MATHEMATICAL AUTOMATA THEORY. VOLUME I. FINITE AUTOMATA.(1965)
- MATHEMATICAL AUTOMATA THEORY VOLUME II. GLOBAL MODELS AND COMPUTABILITY THEORY.(1965)