Lessons from INR in the specification of transductions

DOI10.1007/3-540-44674-5_33MaRDI QIDQ4540984zbMATH OpenFDO

Authors J. Howard Johnson

Publication date 28 July 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2088/20880335

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• Finite state transducers with predicates and identities
• scientific article; zbMATH DE number 4047172
• Finite state transducers
• scientific article; zbMATH DE number 1870549
• Iterating transducers

This page was built for publication: Lessons from INR in the specification of transductions

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