On complexity of formal coding method for analysis of generator with monocycle substitutional transition function
From MaRDI portal
Publication:5146140
zbMATH Open1468.68112MaRDI QIDQ5146140FDOQ5146140
Authors: V. M. Fomichev
Publication date: 25 January 2021
Full work available at URL: http://mathnet.ru/eng/pdm77
Recommendations
- On complexity of formal coding method for analysis of generator with monocycle substitutional transition function
- On the complexity of finite autonomous Moore automata
- scientific article; zbMATH DE number 3846884
- scientific article; zbMATH DE number 4077126
- On the complexity of analysis of automata over a finite ring
Formal languages and automata (68Q45) Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30)
Cites Work
Cited In (1)
This page was built for publication: On complexity of formal coding method for analysis of generator with monocycle substitutional transition function
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5146140)