Behaviour of machines in categories
Commentationes Mathematicae Universitatis Carolinae (1979)
- Volume: 020, Issue: 2, page 267-282
- ISSN: 0010-2628
Access Full Article
top
How to cite
topTrnková, Věra. "Behaviour of machines in categories." Commentationes Mathematicae Universitatis Carolinae 020.2 (1979): 267-282. <http://eudml.org/doc/16969>.
@article{Trnková1979,
author = {Trnková, Věra},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {behaviour of machines; functorial machines; Arbib Manes machines; automaton; functional algebra; Eilenberg's X-machines},
language = {eng},
number = {2},
pages = {267-282},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Behaviour of machines in categories},
url = {http://eudml.org/doc/16969},
volume = {020},
year = {1979},
}
TY - JOUR
AU - Trnková, Věra
TI - Behaviour of machines in categories
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1979
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 020
IS - 2
SP - 267
EP - 282
LA - eng
KW - behaviour of machines; functorial machines; Arbib Manes machines; automaton; functional algebra; Eilenberg's X-machines
UR - http://eudml.org/doc/16969
ER -
References
top- J. ADÁMEK, Free algebras and automata realizations, in the language of categories, Comment. Math. Univ. Carolinae 15 (1974), 589-602. (1974) MR0352209
- M. A. ARBIB E. G. MANES, Machines in a category, an expository introduction, SIAM Review 16 (1974), 163-192. (1974) MR0363719
- S. EILENBERG, Automata, languages and machines, Volume A, Academic Press 1974. (1974) Zbl0317.94045MR0530382
- V. KOUBEK, Set functors, Comment. Math. Univ. Carolinae 12 (1971), 175-195. (1971) Zbl0217.06803MR0286860
- V. KURKOVÁ-POHLOVÁ V. KOUBEK, When a generalized algebraic category is monadic, Comment. Math. Univ. Carolinae 16 (1975), 577-587. (1975) MR0360743
- V. TRNKOVÁ, General theory of relational automata, to appear in Fundamenta Informaticae. MR0591775
- V. TRNKOVÁ, Machines and their behaviour, Proceedings of the Workshop meeting "Categorial and algebraic Methods in Computer Science and System Theory" held in Dortmund in November 1978, Forschungsbericht Nr 74, 1978, Abteilung Informatik, Universität Dortmund, 110-115. (1978)
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.