One fast algorithm for finding automaton congruences

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F16%3A00301089" target="_blank" >RIV/68407700:21230/16:00301089 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
One fast algorithm for finding automaton congruences
Popis výsledku v původním jazyce
Even though congruences on a finite automaton play an important role when investigating the structure of a given automaton, not much attention has been given to finding a fast algorithm for constructing them. This contribution brings a fast algorithm for construction the smallest congruence containing a given relation, which can be used for finding elementary congruences, i.e. congruences merging two distinct states.
Název v anglickém jazyce
One fast algorithm for finding automaton congruences
Popis výsledku anglicky
Even though congruences on a finite automaton play an important role when investigating the structure of a given automaton, not much attention has been given to finding a fast algorithm for constructing them. This contribution brings a fast algorithm for construction the smallest congruence containing a given relation, which can be used for finding elementary congruences, i.e. congruences merging two distinct states.

Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění
2016
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
APLIMAT 2016 - 15th Conference on Applied Mathematics 2016, Proceedings
ISBN
9788022745314
ISSN
—
e-ISSN
—
Počet stran výsledku
7
Strana od-do
248-254
Název nakladatele
Slovak University of Technology in Bratislava
Místo vydání
Bratislava
Místo konání akce
Bratislava
Datum konání akce
2. 2. 2016
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)