Survey on applications of algebraic state space theory of logical systems to finite state machines
Yongyi Yan, Daizhan Cheng, Jun‐e Feng, Haitao Li, Jumei Yue
Topics & Concepts
Nondeterministic algorithmFinite-state machineComputer scienceTensor productAlgebraic numberFinite fieldTheoretical computer scienceField (mathematics)State spaceAutomatonAlgebra over a fieldMathematicsAlgorithmPure mathematicsDiscrete mathematicsStatisticsMathematical analysisDistributed systems and fault toleranceEmbedded Systems Design TechniquesFormal Methods in Verification