Computation engineering. Applied automata theory and logic.

zbMATH Open1138.68432MaRDI QIDQ5488458FDOQ5488458

Authors Ganesh Gopalakrishnan 

Publication date 20 September 2006

zbMATH Keywords

Turing MachinesModel CheckingBasic Undecidability ProofsContext-free GrammarsContext-free LanguagesPush-down Automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Automata theory and its applications
• scientific article; zbMATH DE number 1001667
• scientific article; zbMATH DE number 1330031
• Automata and computability. A programmer's perspective
• scientific article; zbMATH DE number 43003

Cited in

(3)

• scientific article; zbMATH DE number 3859048 (Why is no real title available?)
• Intuitionistic fuzzy logic control for heater fans
• Introduction to computation. Haskell, logic and automata

Describes a project that uses

Uses Software

• SLAM
• Chaff

This page was built for publication: Computation engineering. Applied automata theory and logic.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5488458)