Suchergebnisse - "формальный язык"

Язык исследования и язык власти

Schlagwörter: ЯЗЫКОВЫЕ КОДЫ, ПОЛИТИЧЕСКИЙ ДИСКУРС, ЯЗЫКОВЫЕ ФОРМЫ, ОБЩИЙ ЯЗЫК, ЯЗЫК ВЛАСТИ, ЛИНГВИСТИКА ТЕКСТА, ФОРМАЛЬНЫЙ ЯЗЫК, ПОЛИТИЧЕСКИЙ ЯЗЫК, ФУНКЦИИ ЯЗЫКА, ЯЗЫКОЗНАНИЕ, ПОЛИТИЧЕСКАЯ ЛИНГВИСТИКА, ЯЗЫКОВАЯ КАТЕГОРИЗАЦИЯ

Zugangs-URL: https://elar.uspu.ru/handle/ru-uspu/55961

Язык исследования и язык власти ; The language of inquiry and the language of authority

Autoren: Эдельман, М.

Schlagwörter: ЯЗЫКОЗНАНИЕ, ЛИНГВИСТИКА ТЕКСТА, ПОЛИТИЧЕСКАЯ ЛИНГВИСТИКА, ПОЛИТИЧЕСКИЙ ДИСКУРС, ПОЛИТИЧЕСКИЙ ЯЗЫК, ЯЗЫКОВАЯ КАТЕГОРИЗАЦИЯ, ФОРМАЛЬНЫЙ ЯЗЫК, ОБЩИЙ ЯЗЫК, ФУНКЦИИ ЯЗЫКА, ЯЗЫКОВЫЕ КОДЫ, ЯЗЫК ВЛАСТИ, ЯЗЫКОВЫЕ ФОРМЫ

Geographisches Schlagwort: USPU

Relation: Политическая лингвистика. 2017. № 1 (61)

Verfügbarkeit: https://elar.uspu.ru/handle/ru-uspu/55961

Regular expressions for some Petri net languages for the producer/consumer problem

Autoren: Statkevych, Vitalii M.

Quelle: Sistemnì Doslìdženâ ta Informacìjnì Tehnologìï, Iss 3 (2020)
Системні дослідження та інформаційні технології; № 3 (2020); 105-123
Системные исследования и информационные технологии; № 3 (2020); 105-123
System research and information technologies; № 3 (2020); 105-123

Schlagwörter: задача о производителе и потребителе, регулярный язык, Petri net, producer/consumer problem, Petri net language, formal language, regular language, finite automaton, regular expression, star-height, Electronic computers. Computer science, язык сети Петри, формальный язык, сеть Петри, мережа Петрі, задача про постачальника та споживача, мова мережі Петрі, формальна мова, регулярна мова, скінченний автомат, регулярний вираз, висота ітерації (зіркова висота), QA75.5-76.95, конечный автомат, регулярное выражение, высота итерации (звездная высота)

Dateibeschreibung: application/pdf

Zugangs-URL: http://journal.iasa.kpi.ua/article/download/221359/223560
https://doaj.org/article/6cd6631490d84ac08702e5110cd66548
http://journal.iasa.kpi.ua/article/download/221359/223560
http://journal.iasa.kpi.ua/article/view/221359
http://journal.iasa.kpi.ua/article/view/221359

ТЕОРИЯ СЛОЖНОСТИ И СИНТЕЗ МЕТОДОВ МОДЕЛИРОВАНИЯ В ЗАДАХ УПРАВЛЕНИЯ СЛОЖНЫМИ СИСТЕМАМИ

Schlagwörter: модель, определение, теория, псевдобулева алгебра, формальный язык, сложность, математическая структура, булева алгебра, структура оценки

ФОРМАЛИЗАЦИЯ ОПИСАНИЯ ПРОСТРАНСТВА СВОЙСТВ И ПРОСТРАНСТВА СИТУАЦИЙ УПРАВЛЕНИЯ В СИТУАЦИОННЫХ МОДЕЛЯХ УПРАВЛЕНИЯ СЛОЖНЫМИ СИСТЕМАМИ

Schlagwörter: модель, синтетическая квалиметрия, предикативное определение, ситуация управления, формальный язык, сложность, математическая структура

ФОРМАЛЬНЫЙ ЯЗЫК КОМПОЗИЦИИ СОВРЕМЕННОГО КИТАЙСКОГО МОНУМЕНТАЛЬНОГО ИСКУССТВА

Schlagwörter: формальный язык, прием, китайская традиционная живопись, монументальное искусства, современность, композиция, наследование

Операция разности для регулярных языков сетей Петри в задаче о производителе и потребителе с ограниченным буфером

Autoren: Vitalii Statkevych

Quelle: Sistemnì Doslìdženâ ta Informacìjnì Tehnologìï, Iss 2 (2021)

Schlagwörter: сеть Петри, задача о производителе и потребителе, язык сети Петри, формальный язык, регулярный язык, конечный автомат, Electronic computers. Computer science, QA75.5-76.95

Dateibeschreibung: electronic resource

Relation: http://journal.iasa.kpi.ua/article/view/240011; https://doaj.org/toc/1681-6048; https://doaj.org/toc/2308-8893

Zugangs-URL: https://doaj.org/article/6e2742fd57af4101bd654e5ec18a8a5b

Set difference operation for regular Petri net languages for the producer/consumer problem with the bounded buffer

Quelle: System research and information technologies; No. 2 (2021); 94-112
Системные исследования и информационные технологии; № 2 (2021); 94-112
Системні дослідження та інформаційні технології; № 2 (2021); 94-112

Schlagwörter: задача про постачальника та споживача, мова мережі Петрі, регулярное выражение, регулярний вираз, язык сети Петри, формальный язык, formal language, скінченний автомат, Petri net, формальна мова, регулярна мова, regular language, конечный автомат, finite automaton, producer/consumer problem, задача о производителе и потребителе, регулярный язык, сеть Петри, regular expression, мережа Петрі, Petri net language

Dateibeschreibung: application/pdf

Zugangs-URL: http://journal.iasa.kpi.ua/article/view/240011

Теория символизма Рассела-Витгенштейна

Quelle: Вестник Томского государственного университета. Философия. Социология. Политология. 2021. № 62. С. 211-217

Schlagwörter: теория символизма, теория типов, Витгенштейн, Людвиг 1889-1951, автореферентность, формальный язык, Лжеца парадокс, Рассел, Бертран 1872-1970

Dateibeschreibung: application/pdf

Zugangs-URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000720977

Специализированные языки обработки информации

Autoren: Гусенков Александр Михайлович Прокопьев Николай Аркадьевич Институт вычислительной математики и информационных технологий et al.

Weitere Verfasser: Гусенков Александр Михайлович Прокопьев Николай Аркадьевич Институт вычислительной математики и информационных технологий et al.

Schlagwörter: формальный язык, формальная грамматика, конечный автомат, yacc, lex, Информатика

Relation: http://dspace.kpfu.ru/xmlui/bitstream/net/183745/-1/F_Gusenkov_Prokopev_yacc_lex_uch_m_2024.pdf; https://dspace.kpfu.ru/xmlui/handle/net/183745

Verfügbarkeit: https://dspace.kpfu.ru/xmlui/handle/net/183745

Специализированные языки обработки информации: учебное пособие

Autoren: Гусенков Александр Михайлович Прокопьев Николай Аркадьевич Институт вычислительной математики и информационных технологий et al.

Weitere Verfasser: Гусенков Александр Михайлович Прокопьев Николай Аркадьевич Институт вычислительной математики и информационных технологий et al.

Schlagwörter: формальный язык, формальная грамматика, конечный автомат, лексический анализ, синтаксический анализ, lex, yacc, Информатика

Relation: http://dspace.kpfu.ru/xmlui/bitstream/net/183746/-1/F_Gusenkov_Prokopev_yacc_lex_uch_2024.pdf; https://dspace.kpfu.ru/xmlui/handle/net/183746

Verfügbarkeit: https://dspace.kpfu.ru/xmlui/handle/net/183746

Синтетическая квалиметрия как основа системного подхода к моделированию сложных систем и процессов

Schlagwörter: модель, синтетическая квалиметрия, предикативное определение, теория, ситуация управления, формальный язык, сложность, математическая структура

Алгебро-логические методы в моделировании задач управления сложными системами

Schlagwörter: модель, семантика, решетка, теория, формальный язык, оценка, сложность, отношение эквивалентности, математическая структура, импликативная решетка, логическое исчисление, мера

Системный подход в математическом обеспечении методов моделирования в задачах управления качеством сложных систем и процессов

Schlagwörter: модель, синтетическая квалиметрия, формальный язык, математическая структура, ситуационный подход, объект управления

СИСТЕМНЫЙ ПОДХОД К МАТЕМАТИЧЕСКОМУ ОБЕСПЕЧЕНИЮ ЗАДАЧ МОДЕЛИРОВАНИЯ В УПРАВЛЕНИИ СЛОЖНЫМИ СИСТЕМАМИ И ПРОЦЕССАМИ

Schlagwörter: модель, синтетическая квалиметрия, предикативное определение, теория, ситуация управления, формальный язык, сложность, математическая структура

Теория сложности в алгебро-логическом моделировании систем управления

Schlagwörter: модель, семантика, решетка, теория, формальный язык, оценка, сложность, отношение эквивалентности, математическая структура, импликативная решетка, логическое исчисление, мера

Систематизация и синтез методов формального описания при моделировании сложных объектов управления

Schlagwörter: модель, синтетическая квалиметрия, диалектика, предикативное определение, теория, формальный язык, оценка, сложность, математическая структура

A Context-Free Grammar of One Rhythmic Model of Russian Verse

Autoren: V. N. Boykov

Quelle: Моделирование и анализ информационных систем, Vol 19, Iss 4, Pp 154-167 (2015)
Моделирование и анализ информационных систем, Vol 19, Iss 4, Pp 154-167 (2012)

Schlagwörter: акцентный сегмент, поэтология, стих, формальный язык, распознавание, formal language, 0211 other engineering and technologies, Information technology, 02 engineering and technology, T58.5-58.64, 16. Peace & justice, cfgrammar, verse, poetology, rhythm group, prosody, 0202 electrical engineering, electronic engineering, information engineering, тактовая группа, recognition, КС-грамматика, accentual segment, стиховедение

Zugangs-URL: https://www.mais-journal.ru/jour/article/download/49/45
https://doaj.org/article/3c5a754f0c6149f88089f773c2383012
https://doaj.org/article/d09b7c4349f645c48ff05a9b4f888ad3
https://www.mais-journal.ru/jour/article/viewFile/49/45
https://www.mais-journal.ru/jour/article/view/49

Специализированные языки обработки информации

Weitere Verfasser: Институт вычислительной математики и информационных технологий Казанский федеральный университет

Schlagwörter: CUP, lex, формальный язык, Информатика, Jflex, yacc, формальная грамматика, конечный автомат

Zugangs-URL: https://openrepository.ru/article?id=155019

РАЦИОНАЛЬНЫЕ ПОДМНОЖЕСТВА КОЛЕЦ

Schlagwörter: Ring, рациональное множество, формальный язык, formal language, Кольцо, rational set