Skip to main content
Research
Focus areas
Blog
Publications
Careers
About
Back
Focus areas
Semiconductors
Artificial Intelligence
Quantum Computing
Hybrid Cloud
Back
About
Overview
Labs
People
Back
Semiconductors
Back
Artificial Intelligence
Back
Quantum Computing
Back
Hybrid Cloud
Back
Overview
Back
Labs
Back
People
Research
Focus areas
Semiconductors
Artificial Intelligence
Quantum Computing
Hybrid Cloud
Blog
Publications
Careers
About
Overview
Labs
People
Open IBM search field
Close
STOC 1969
Conference paper
05 May 1969
Transformations and translations from the point of view of generalized finite automata theory
Download paper
Abstract
No abstract available.
Related
Paper
Generalized
2
sequential machine maps
Conference paper
Data type specification: Parameterization and the power of specification techniques
Paper
More on advice on structuring compilers and proving them correct
Conference paper
Computability over arbitrary fields
View all publications
