Efficient recognition of trace languages defined by repeat-until loops (Q989291)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Efficient recognition of trace languages defined by repeat-until loops |
scientific article |
Statements
Efficient recognition of trace languages defined by repeat-until loops (English)
0 references
19 August 2010
0 references
automata and formal languages
0 references
trace languages
0 references
local finite automata
0 references
integer compositions
0 references
dependencies checking
0 references
