title: Probabilistic input-driven pushdown automata
metadata.name: dc.contributor.advisor
metadata.value: Григорьев Семен Вячеславович
metadata.lang: ru_RU
metadata.name: dc.contributor.advisor
metadata.value: Grigorev Semen Vaceslavovic
metadata.lang: en_GB
metadata.name: dc.contributor.advisor
metadata.value: Григорьев Семен Вячеславович
metadata.lang: ru_RU
metadata.name: dc.contributor.advisor
metadata.value: Grigorev Semen Vaceslavovic
metadata.lang: en_GB
metadata.name: dc.contributor.author
metadata.value: Розе Алексей Николаевич
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Roze Aleksej Nikolaevic
metadata.lang: en_GB
metadata.name: dc.contributor.editor
metadata.value: Охотин Александр Сергеевич
metadata.lang: ru_RU
metadata.name: dc.contributor.editor
metadata.value: Ohotin Aleksandr Sergeevic
metadata.lang: en_GB
metadata.name: dc.date.accessioned
metadata.value: 2023-07-26T12:02:50Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2023-07-26T12:02:50Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2023
metadata.name: dc.identifier.other
metadata.value: 076043
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/42083
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: В этой работе впервые рассмотрены вероятностные магазинные автоматы, управляемые входом, и доказано, что они могут быть преобразованы к детерминированным. Также доказаны нижняя и верхняя оценки на число состояний, требуемых для детерминизации. В некоторых особых случаях доказаны более точные оценки .
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: In this work we introduce the concept of probabilistic input-driven pushdown automata and prove that it can be determinized. We provide a lower and an upper bound for the number of states required for the determinization. We also give sharper upper bounds in some special cases.
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: ru
metadata.name: dc.subject
metadata.value: теория автоматов
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: вероятностные вычисления
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: магазинные автоматы
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: automata theory
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: probabilistic computation
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: input-driven pushdown automata
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Probabilistic input-driven pushdown automata
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Вероятностные магазинные автоматы, управляемые входом
metadata.lang: ru_RU
resources.filename: Thesis.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/42083/2/Thesis.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 422,05 kB
resources.filename: reviewSV_roze_2023_bsc_supervisor_signed.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/42083/3/reviewSV_roze_2023_bsc_supervisor_signed.pdf
resources.format: Adobe PDF
resources.description: ReviewSV
resources.size: 77,61 kB
resources.filename: reviewSV_st076043_Roze_Aleksej_Nikolaevic_(supervisor)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/42083/4/reviewSV_st076043_Roze_Aleksej_Nikolaevic_%28supervisor%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewSV
resources.size: 5,89 kB