2025-02-23T19:14:59-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-190446%22&qt=morelikethis&rows=5
2025-02-23T19:14:59-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-190446%22&qt=morelikethis&rows=5
2025-02-23T19:14:59-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T19:14:59-05:00 DEBUG: Deserialized SOLR response
От формул вида F(t) языка LP к -ω-регулярным выражениям
При синтезе Σ-автомата, специфицированного в языке LP, возникает задача представления множества обратных сверхслов, задаваемых формулой F(t), в виде -ω-регулярного выражения. Построение этого выражения основано на соответствии между структурными элементами формул и -ω-регулярных выражений. Для обесп...
Saved in:
Main Author: | Чеботарев, А.Н. |
---|---|
Format: | Article |
Language: | Russian |
Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2020
|
Series: | Кибернетика и системный анализ |
Subjects: | |
Online Access: | http://dspace.nbuv.gov.ua/handle/123456789/190446 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
2025-02-23T19:14:59-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&rows=40&rows=5&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-190446%22&qt=morelikethis
2025-02-23T19:14:59-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&rows=40&rows=5&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-190446%22&qt=morelikethis
2025-02-23T19:14:59-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T19:14:59-05:00 DEBUG: Deserialized SOLR response
Similar Items
-
Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка
by: Чеботарев, А.Н.
Published: (2018) -
Определение фиктивных состояний в Σ-автомате, синтезированном по спецификации в языке LP
by: Чеботарев, А.Н.
Published: (2019) -
Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка
by: Чеботарев, А.Н.
Published: (2017) -
Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов
by: Чеботарев, А.Н.
Published: (2017) -
Предиктивная система набора текста для украинского языка
by: Кривонос, Ю.Г., et al.
Published: (2017)