University of Hertfordshire Research Archive

        JavaScript is disabled for your browser. Some features of this site may not work without it.

        Browse

        All of UHRABy Issue DateAuthorsTitlesThis CollectionBy Issue DateAuthorsTitles

        Arkivum Files

        My Downloads
        View Item 
        • UHRA Home
        • University of Hertfordshire
        • Research publications
        • View Item
        • UHRA Home
        • University of Hertfordshire
        • Research publications
        • View Item

        Algebraic hierarchical decomposition of finite state automata : comparison of implementations for Krohn-Rhodes Theory

        View/Open
        Final Accepted Version (PDF, 60Kb)
        Author
        Egri-Nagy, Attila
        Nehaniv, C.L.
        Attention
        2299/6123
        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.
        Publication date
        2005
        Published in
        Lecture Notes in Computer Science
        Other links
        http://hdl.handle.net/2299/6123
        Relations
        School of Computer Science
        Metadata
        Show full item record
        Keep in touch

        © 2018 University of Hertfordshire

        I want to...

        • Apply for a course
        • Download a Prospectus
        • Find a job at the University
        • Make a complaint
        • Contact the Press Office

        Go to...

        • Accommodation booking
        • Your student record
        • Bayfordbury
        • KASPAR
        • UH Arts

        The small print

        • Terms of use
        • Privacy and cookies
        • Criminal Finances Act 2017
        • Modern Slavery Act 2015
        • Sitemap

        Find/Contact us

        • T: +44 (0)1707 284000
        • E: ask@herts.ac.uk
        • Where to find us
        • Parking
        • hr
        • qaa
        • stonewall
        • AMBA
        • ECU Race Charter
        • disability confident
        • AthenaSwan