A proof of the Krohn-Rhodes Decomposition Theorem

Research output: Contribution to journalArticle

4 Citations (Scopus)

Abstract

We give a new proof of one part of the Krohn-Rhodes decomposition theorem for automata.

Original languageEnglish
Pages (from-to)287-300
Number of pages14
JournalTheoretical Computer Science
Volume234
Issue number1-2
Publication statusPublished - Mar 6 2000

Fingerprint

Decomposition Theorem
Automata
Decomposition

Keywords

  • Cascade composition
  • Finite automata

ASJC Scopus subject areas

  • Computational Theory and Mathematics

Cite this

A proof of the Krohn-Rhodes Decomposition Theorem. / Ésik, Z.

In: Theoretical Computer Science, Vol. 234, No. 1-2, 06.03.2000, p. 287-300.

Research output: Contribution to journalArticle

@article{b21ef8c82070438285151883763fb8fa,
title = "A proof of the Krohn-Rhodes Decomposition Theorem",
abstract = "We give a new proof of one part of the Krohn-Rhodes decomposition theorem for automata.",
keywords = "Cascade composition, Finite automata",
author = "Z. {\'E}sik",
year = "2000",
month = "3",
day = "6",
language = "English",
volume = "234",
pages = "287--300",
journal = "Theoretical Computer Science",
issn = "0304-3975",
publisher = "Elsevier",
number = "1-2",

}

TY - JOUR

T1 - A proof of the Krohn-Rhodes Decomposition Theorem

AU - Ésik, Z.

PY - 2000/3/6

Y1 - 2000/3/6

N2 - We give a new proof of one part of the Krohn-Rhodes decomposition theorem for automata.

AB - We give a new proof of one part of the Krohn-Rhodes decomposition theorem for automata.

KW - Cascade composition

KW - Finite automata

UR - http://www.scopus.com/inward/record.url?scp=0347338031&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0347338031&partnerID=8YFLogxK

M3 - Article

VL - 234

SP - 287

EP - 300

JO - Theoretical Computer Science

JF - Theoretical Computer Science

SN - 0304-3975

IS - 1-2

ER -