Darowizna 15 września 2024 – 1 października 2024 O zbieraniu funduszy

Автоматные счетчиковые машины

Автоматные счетчиковые машины

Кузьмин Е.В., Соколов В.А.
Jak bardzo podobała Ci się ta książka?
Jaka jest jakość pobranego pliku?
Pobierz książkę, aby ocenić jej jakość
Jaka jest jakość pobranych plików?
Яросл. гос. ун-т им. П. Г. Демидова, Е. В. Кузьмин .— Ярославль : ЯрГУ, 2012 .— Рис. 50. Библиогр.: 40 назв. - 81 c. — ISBN 978-5-8397-0893-8Монография посвящена автоматным счетчиковым машинам и тем формальным языкам, которые способны распознавать/задавать эти абстрактные математические машины. Приведенные здесь результаты представляют интерес как для теории формальных моделей вычислений, так и для теории формальных языков, поскольку автоматные счетчиковые машины (и соответственно их языки) занимают особое положение в иерархии формализмов в границах от конечных автоматов до машин Тьюринга (счетчиковых машин Минского). Свойства автоматных счетчиковых машин изучаются с привлечением теории правильных квазипорядков и теории вполне структурированных систем переходов, которые оказываются полезными для решения задач анализа семантических свойств различных формальных моделей, являющихся более слабыми по вычислительной мощности (выразительной способности), чем машины Тьюринга.
Język:
russian
ISBN 10:
5839708933
ISBN 13:
9785839708938
Plik:
PDF, 1.08 MB
IPFS:
CID , CID Blake2b
russian0
Czytaj Online
Trwa konwersja do
Konwersja do nie powiodła się

Najbardziej popularne frazy