Published 2018
| Version v1
Book
Brzozowski's finite automata minimization algorithm
Creators
- 1. Ozerskij Tekhnologicheskij Inst. NIYaU MIFI, Ozersk (Russian Federation)
Description
Authors discuss the Brzozowski's finite automata minimization algorithm. They sketchy define the deterministic finite automation and the minimal finite automation using the conception of the right and left languages of the finite automation's state. The proof of Brzozowski's algorithm correctness is provided
Abstract (Russian)
В работе рассматривается алгоритм минимизации конечного автомата по методу Бржозовского. Уточняются понятия детерминированного конечного автомата и минимального конечного автомата на основе правого и левого языков состояний конечного автомата. Приводится доказательство корректности алгоритмаAdditional details
Additional titles
- Original title (Russian)
- Минимизация конечных автоматов по методу Бржозовского
Publishing Information
- Publisher
- Izd-vo OTI NIYaU MIFI
- Imprint Place
- Ozersk (Russian Federation)
- ISBN
- 978-5-905620-27-0 (Volume 1); 978-5-905620-26-3
- Imprint Title
- XVIII All-Russian scientific and practical conference #Left-Pointing Double Angle Quotation Mark#Days of science OTI NRU MEPhI - 2018#Right-Pointing Double Angle Quotation Mark#. 70 years of FSUE #Left-Pointing Double Angle Quotation Mark#PO #Left-Pointing Double Angle Quotation Mark#Mayak#Right-Pointing Double Angle Quotation Mark#. Conference proceedings. Volume 1
- Imprint Pagination
- 174 p.
- Journal Page Range
- p. 139-142
Conference
- Title
- 18. All-Russian scientific and practical conference 'Days of science OTI NRU MEPhI - 2018'. 70 years of FSUE 'PO 'Mayak'
- Original Conference Title
- XVIII Vserossijskaya nauchno-prakticheskaya konferentsiya 'Dni nauki OTI NIYaU MIFI - 2018'. 70 let FGUP 'PO 'Mayak'
- Dates
- 18-22 Apr 2018
- Place
- Ozersk (Russian Federation)
INIS
- Country of Publication
- Russian Federation
- Country of Input or Organization
- Russian Federation
- INIS RN
- 52029679
- Subject category
- S97: MATHEMATICAL METHODS AND COMPUTING;
- Resource subtype / Literary indicator
- Conference
- Descriptors DEI
- ALGORITHMS; AUTOMATION; COMPUTER CALCULATIONS; COMPUTER CODES; MATHEMATICAL MODELS; PROGRAMMING LANGUAGES
- Descriptors DEC
- MATHEMATICAL LOGIC
Optional Information
- Notes
- 6 refs., 4 figs. Imprint:XVIII Vserossijskaya nauchno-prakticheskaya konferentsiya #Left-Pointing Double Angle Quotation Mark#Dni nauki OTI NIYaU MIFI #Em Dash# 2018#Right-Pointing Double Angle Quotation Mark#. 70 let FGUP #Left-Pointing Double Angle Quotation Mark#PO #Left-Pointing Double Angle Quotation Mark#Mayak#Right-Pointing Double Angle Quotation Mark#. Materialy konferentsii. Tom 1