State machine components selection based on minimal transversals
| Autor: | P. Mróz, Łukasz Stefanowicz |
|---|---|
| Rok vydání: | 2015 |
| Předmět: |
Discrete mathematics
Finite-state machine Transversal (geometry) Selection (relational algebra) Simple (abstract algebra) TheoryofComputation_ANALYSISOFALGORITHMSANDPROBLEMCOMPLEXITY Computation Nuclear Experiment Base (topology) Algorithm ComputingMethodologies_COMPUTERGRAPHICS MathematicsofComputing_DISCRETEMATHEMATICS Mathematics |
| Zdroj: | AIP Conference Proceedings. |
| ISSN: | 0094-243X |
| DOI: | 10.1063/1.4938885 |
| Popis: | The article relates to the problem of State Machine Components selection using hypergraphs theory. The base method of exact transversals was presented as well as exact transversal and simple transversal computation. Due to limitations of xt-hypergraph application, authors proposed to extend the baseline method by usage of minimal transversals. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|