Implementation of the algorithm for testing an automaton for synchronization in linear expected time (Q5208366)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7152076
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Implementation of the algorithm for testing an automaton for synchronization in linear expected time |
scientific article; zbMATH DE number 7152076 |
Statements
15 January 2020
0 references
synchronizing automata
0 references
Berlinkov's algorithm
0 references
0.7882391810417175
0 references
0.77462238073349
0 references
0.7689409255981445
0 references
0.7648367285728455
0 references
