AMBIENTUM BIOETHICA BIOLOGIA CHEMIA DIGITALIA DRAMATICA EDUCATIO ARTIS GYMNAST. ENGINEERING EPHEMERIDES EUROPAEA GEOGRAPHIA GEOLOGIA HISTORIA HISTORIA ARTIUM INFORMATICA IURISPRUDENTIA MATHEMATICA MUSICA NEGOTIA OECONOMICA PHILOLOGIA PHILOSOPHIA PHYSICA POLITICA PSYCHOLOGIA-PAEDAGOGIA SOCIOLOGIA THEOLOGIA CATHOLICA THEOLOGIA CATHOLICA LATIN THEOLOGIA GR.-CATH. VARAD THEOLOGIA ORTHODOXA THEOLOGIA REF. TRANSYLVAN
|
|||||||
Rezumat articol ediţie STUDIA UNIVERSITATIS BABEŞ-BOLYAI În partea de jos este prezentat rezumatul articolului selectat. Pentru revenire la cuprinsul ediţiei din care face parte acest articol, se accesează linkul din titlu. Pentru vizualizarea tuturor articolelor din arhivă la care este autor/coautor unul din autorii de mai jos, se accesează linkul din numele autorului. |
|||||||
STUDIA INFORMATICA - Ediţia nr.4 din 2013 | |||||||
Articol: |
SOME ASPECTS ABOUT TOPOS THEORY AND TREE AUTOMATA. Autori: . |
||||||
Rezumat:
Category theory provides possibilities to model many important features of computer science. Toposes as specific categories enable to model theories over types. Another means used in computer science for term calculus are tree automata that enable evaluation of well-formed terms in this calculus. Our paper presents how the theory of algebraic structures, namely group theory, can be represented in a topos. We also specify its correspondence with tree automata enclosed in the category of sets as a mapping. Key words and phrases. Group theory, topos, tree automata, term evaluation
2010 Mathematics Subject Classication. 18B25, 20J99. |
|||||||