నిధుల సేకరణ 15 సెప్టెంబర్ 2024 – 1 అక్టోబర్ 2024 నిధులసేకరణ గురించి

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

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

Кузьмин Е.В., Соколов В.А.
ఈ పుస్తకం ఎంతగా నచ్చింది?
దింపుకొన్న ఫైల్ నాణ్యత ఏమిటి?
పుస్తక నాణ్యత అంచనా వేయడాలనుకుంటే దీన్ని దింపుకోండి
దింపుకొన్న ఫైళ్ళ నాణ్యత ఏమిటి?
Яросл. гос. ун-т им. П. Г. Демидова, Е. В. Кузьмин .— Ярославль : ЯрГУ, 2012 .— Рис. 50. Библиогр.: 40 назв. - 81 c. — ISBN 978-5-8397-0893-8Монография посвящена автоматным счетчиковым машинам и тем формальным языкам, которые способны распознавать/задавать эти абстрактные математические машины. Приведенные здесь результаты представляют интерес как для теории формальных моделей вычислений, так и для теории формальных языков, поскольку автоматные счетчиковые машины (и соответственно их языки) занимают особое положение в иерархии формализмов в границах от конечных автоматов до машин Тьюринга (счетчиковых машин Минского). Свойства автоматных счетчиковых машин изучаются с привлечением теории правильных квазипорядков и теории вполне структурированных систем переходов, которые оказываются полезными для решения задач анализа семантических свойств различных формальных моделей, являющихся более слабыми по вычислительной мощности (выразительной способности), чем машины Тьюринга.
భాష:
russian
ISBN 10:
5839708933
ISBN 13:
9785839708938
ఫైల్:
PDF, 1.08 MB
IPFS:
CID , CID Blake2b
russian0
ఆన్‌లైన్‌లో చదవండి
కి మార్పిడి జరుగుతూ ఉంది.
కి మార్పిడి విఫలమైంది!

కీలక పదబంధాలు