Implementation and Application of Automata ISBN: 9783540763352 CIAA
DOI:
10.1007/978-3-540-76336-9_25
Popis:
We introduce a class of tree bimorphisms that define exactly the translations performed by syntax-directed translation schemata. We also show that these "quasi-alphabetic" tree bimorphisms preserve recognizability, and that their class is closed under composition and inverses.