Algebraic Specification and Coalgebraic Synthesis of Mealy Automata

Electronic Notes in Theoretical Computer Science

Volumn 160, Issue 1, 2006, Pages 305-319

  Rutten, J J M M ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

2 adic integer; binary arithmetic; bitstream; functional stream derivative; Mealy automaton; Stream function

Indexed keywords

ALGEBRA; CIRCUIT THEORY; FUNCTION EVALUATION; NETWORK COMPONENTS; NUMBER THEORY; SPECIFICATIONS;

2-ADIC INTEGER; BINARY ARITHMETIC; BITSTREAM; FUNCTIONAL STREAM DERIVATIVE; MEALY AUTOMATON; STREAM FUNCTION;

AUTOMATA THEORY;

EID: 33746764422     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.05.030     Document Type: Article

References (22)

1. Antimirov V. Partial derivatives of regular expressions and finite automata constructions. Theoretical Computer Science 155 (1996) 91-319
2. Arbab F. Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science 14 (2004) 29-366
3. Arbab F., Baier C., de Boer F., Rutten J., and Sirjani M. Synthesis of Reo circuits. Proceedings of Coordination 2005. LNCS volume 3454 (2005), Springer 236-251
4. Arbab F., Baier C., Rutten J., and Sirjani M. Modeling component connectors in Reo by constraint automata. Proceedings of FOCLASA 2003. ENTCS 97 (2003) Elsevier, Extended version to appear in Science of Computer Prog., 2005
5. Arbab F., and Rutten J.J.M.M. A coinductive calculus of component connectors. In: Wirsing M., Pattinson D., and Hennicker R. (Eds). Proceedings of WADT 2002. LNCS volume 2755 (2003), Springer 35-56
6. Aziz A., Balarin F., Brayton R., and Sangiovanni A. Sequential synthesis using S1S. IEEE Transactions on computer-aided design of integrated circuits and systems 19 10 (2000) 149-1162
7. Brzozowski J.A. Derivatives of regular expressions. Journal of the ACM 11 4 (1964) 81-494
8. Choffrut C. Minimizing subsequential transducers: a survey. Theoretical Computer Science 292 (2003) 31-143
9. Eilenberg S. Automata, languages and machines (Vol. A). Pure and applied mathematics (1974), Academic Press
10. Goresky M., and Klapper A. Feedback shift registers, combiners with memory, and 2-adic span. Journal of Cryptology 10 (1997) 11-147
11. Henzinger T., Krishnan S., Kupferman O., and Mang F. Synthesis of uninitialized systems. Proceedings of ICALP'02. Lecture Notes in Computer Science volume 2380 (2002), Springer
12. Johnson E.L., and Karim M.A. Digital design (1987), PWS Publishers
13. Koblitz N. p-adic Numbers, p-adic Analysis, and Zeta-Functions. Graduate Texts in Mathematics volume 58 (1977), Springer-Verlag
14. Kohavi Z. Switching and finite automata theory (1978), McGraw-Hill
15. Lombardy S., and Sakarovitch J. Derivatives of rational expressions with multiplicity. Proceedings of MFCS'02. Lecture Notes in Computer Science volume 2420 (2002), Springer-Verlag
16. Lombardy S., and Sakarovitch J. Derivatives of rational expressions with multiplicity. Theoretical Computer Science 332 (2005) 41-177
17. Raney G.N. Sequential functions. J. Assoc. Comput. Mach. 3 (1958) 77-180
18. Reutenauer C. Subsequential functions: characterizations, minimizations, examples. Internat. Meeting of Young Computer Scientists. LNCS volume 464 (1990), Springer 62-79
19. Rutten J.J.M.M. Automata, power series, and coinduction: taking input derivatives seriously (extended abstract). In: Wiedermann J., van Emde Boas P., and Nielsen M. (Eds). Proceedings of ICALP'99. LNCS volume 1644 (1999) 645-654
20. Rutten J.J.M.M. Behavioural differential equations: a coinductive calculus of streams, automata, and power series. Theoretical Computer Science 308 1 (2003) 1-53 Fundamental Study
21. Rutten J.J.M.M. Algebra, bitstreams, and circuits. Proceedings of the Dresden Conference 2004. (AAA68). Contributions to General Algebra volume 16 (2005), Verlag Johannes Heyn 231-250
22. Vuillemin J. On circuits and numbers. IEEE Transactions on Computers 43 8 (1994) 68-879