𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Congruences of finite automata

✍ Scribed by V. A. Plaksin


Publisher
Springer US
Year
1982
Tongue
English
Weight
366 KB
Volume
18
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


On ground tree transformations and congr
✍ SΓ‘ndor VΓ‘gvΓΆlgyi πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 230 KB

For a tree automaton A over a ranked alphabet , we study the ground tree transformation (A) induced by A and the restriction Γ‚(A) of the congruence ↔ \* A to terms over . We deΓΏne a congruence relation βŠ† A Γ— A on A, called the determiner of A, and the quotient tree automaton A= . We show the followi

Congruence Permutable and Congruence 3-P
✍ K.A. Kearnes πŸ“‚ Article πŸ“… 1993 πŸ› Elsevier Science 🌐 English βš– 527 KB

We give a tame congruence-theoretic characterization of congruence permutable and congruence 3-permutable locally finite varieties. 1993 Academic Press. Inc.