scientific article; zbMATH DE number 3639151

zbMath0411.68046MaRDI QIDQ4198064

Günter Hotz

Publication date: 1977

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

surveyformal seriesautonomous automatacategorical theory of automatacomplexity of parsingcomputations of relationssyntactic correctness of programstime and space complexity measures of computationswork problems

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Semigroups in automata theory, linguistics, etc. (20M35) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Word problems, etc. in computability and recursion theory (03D40) Categories of machines, automata (18B20)

Related Items (3)

Surjectivity of functors on grammars ⋮ Grammarforms and grammarhomomorphisms ⋮ Systematic approach to reduction and minimization in automata and system theory

This page was built for publication: