dc.contributor.author | Egri-Nagy, Attila | |
dc.contributor.author | Nehaniv, C.L. | |
dc.date.accessioned | 2011-08-09T15:01:04Z | |
dc.date.available | 2011-08-09T15:01:04Z | |
dc.date.issued | 2005 | |
dc.identifier.citation | Egri-Nagy , A & Nehaniv , C L 2005 , ' Algebraic hierarchical decomposition of finite state automata : comparison of implementations for Krohn-Rhodes Theory ' , Lecture Notes in Computer Science (LNCS) , vol. 3317 , pp. 315-316 . | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://hdl.handle.net/2299/6123 | |
dc.description | “The original publication is available at www.springerlink.com” Copyright Springer | |
dc.description.abstract | The hierarchical algebraic decomposition of finite state automata (Krohn- Rhodes Theory) has been a mathematical theory without any computational implementations until the present paper, although several possible and promising practical applications such as automated object-oriented programming in software development [5], formal methods for understanding in artificial intelligence [6], a widely applicable integer-valued complexity measure [8,7], have been described. As a remedy for the situation, our new implementation, described here, is freely available [2] as open-source software. We also present two different computer algebraic implementations of the Krohn-Rhodes decomposition, the V [T and holonomy decompositions [4,3], and compare their efficiency in terms of the number of hierarchical levels in the resulting cascade decompositions. | en |
dc.format.extent | 61976 | |
dc.language.iso | eng | |
dc.relation.ispartof | Lecture Notes in Computer Science (LNCS) | |
dc.title | Algebraic hierarchical decomposition of finite state automata : comparison of implementations for Krohn-Rhodes Theory | en |
dc.contributor.institution | School of Computer Science | |
dc.contributor.institution | Science & Technology Research Institute | |
dc.description.status | Peer reviewed | |
rioxxterms.type | Journal Article/Review | |
herts.preservation.rarelyaccessed | true | |