Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287600604> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W4287600604 abstract "The work presents some new algorithms realized recently in the package TESTAS. They decide whether or not deterministic finite automaton (DFA) is synchronizing, several procedures find relatively short synchronizing words and a synchronizing word of the minimal length. We check the existence of a coloring of directed graph that turns the graph into a synchronizing DFA. The algorithm finds the coloring (better known as the road coloring) if it exists. Otherwise, the k-synchronizing road coloring can be found. We use a linear visualization of the graph of an automaton based on its structural properties." @default.
- W4287600604 created "2022-07-25" @default.
- W4287600604 creator A5001614047 @default.
- W4287600604 date "2020-11-10" @default.
- W4287600604 modified "2023-09-24" @default.
- W4287600604 title "Some new Features and Algorithms for the Study of DFA" @default.
- W4287600604 doi "https://doi.org/10.48550/arxiv.2011.05575" @default.
- W4287600604 hasPublicationYear "2020" @default.
- W4287600604 type Work @default.
- W4287600604 citedByCount "0" @default.
- W4287600604 crossrefType "posted-content" @default.
- W4287600604 hasAuthorship W4287600604A5001614047 @default.
- W4287600604 hasBestOaLocation W42876006041 @default.
- W4287600604 hasConcept C104091681 @default.
- W4287600604 hasConcept C112505250 @default.
- W4287600604 hasConcept C11413529 @default.
- W4287600604 hasConcept C132525143 @default.
- W4287600604 hasConcept C154945302 @default.
- W4287600604 hasConcept C162932704 @default.
- W4287600604 hasConcept C36464697 @default.
- W4287600604 hasConcept C41008148 @default.
- W4287600604 hasConcept C761482 @default.
- W4287600604 hasConcept C76155785 @default.
- W4287600604 hasConcept C80444323 @default.
- W4287600604 hasConceptScore W4287600604C104091681 @default.
- W4287600604 hasConceptScore W4287600604C112505250 @default.
- W4287600604 hasConceptScore W4287600604C11413529 @default.
- W4287600604 hasConceptScore W4287600604C132525143 @default.
- W4287600604 hasConceptScore W4287600604C154945302 @default.
- W4287600604 hasConceptScore W4287600604C162932704 @default.
- W4287600604 hasConceptScore W4287600604C36464697 @default.
- W4287600604 hasConceptScore W4287600604C41008148 @default.
- W4287600604 hasConceptScore W4287600604C761482 @default.
- W4287600604 hasConceptScore W4287600604C76155785 @default.
- W4287600604 hasConceptScore W4287600604C80444323 @default.
- W4287600604 hasLocation W42876006041 @default.
- W4287600604 hasLocation W42876006042 @default.
- W4287600604 hasOpenAccess W4287600604 @default.
- W4287600604 hasPrimaryLocation W42876006041 @default.
- W4287600604 hasRelatedWork W10282080 @default.
- W4287600604 hasRelatedWork W10363999 @default.
- W4287600604 hasRelatedWork W11934628 @default.
- W4287600604 hasRelatedWork W12283142 @default.
- W4287600604 hasRelatedWork W1245771 @default.
- W4287600604 hasRelatedWork W3947704 @default.
- W4287600604 hasRelatedWork W5280477 @default.
- W4287600604 hasRelatedWork W7292907 @default.
- W4287600604 hasRelatedWork W7319659 @default.
- W4287600604 hasRelatedWork W9281975 @default.
- W4287600604 isParatext "false" @default.
- W4287600604 isRetracted "false" @default.
- W4287600604 workType "article" @default.