BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
machin (3)
revers (2)
generat (2)
transform (1)
semigroup (1)

Stem meali$ (all stems)

5 papers:

DLTDLT-2015-KlimannPS #automaton #infinity
A Connected 3-State Reversible Mealy Automaton Cannot Generate an Infinite Burnside Group (IK, MP, DS), pp. 313–325.
LATALATA-2015-GodinKP #automaton #on the
On Torsion-Free Semigroups Generated by Invertible Reversible Mealy Automata (TG, IK, MP), pp. 328–339.
FMFM-2009-ShahbazG #automaton
Inferring Mealy Machines (MS, RG), pp. 207–222.
FoSSaCSFoSSaCS-2008-BonsangueRS #algebra #automaton #logic #synthesis
Coalgebraic Logic and Synthesis of Mealy Machines (MMB, JJMMR, AS), pp. 231–245.
DLTDLT-1995-Weber #automaton #transducer
Transforming a Single-Valued Transducer Into a Mealy Machine (AW), pp. 176–185.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.