-
1
-
2Academic Journal
Πηγή: Прикладная дискретная математика. 2019. № 45. С. 90-96
Θεματικοί όροι: формальные грамматики, формальные языки, отношение эквивалентности, минимизация
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000667213
-
3Academic Journal
Συγγραφείς: Nikolai Nikolayevich Efanov, Николай Николаевич Ефанов
Συνεισφορές: МФТИ(ГУ)
Πηγή: Chebyshevskii Sbornik; Том 19, № 2 (2018); 151-162 ; Чебышевский сборник; Том 19, № 2 (2018); 151-162 ; 2226-8383 ; 10.22405/2226-8383-2018-19-2
Θεματικοί όροι: формальные грамматики, перечислительная комбинаторика, группы, деревья, Unix-подобные операционные системы, системные вызовы, дерево процессов, восстановление по контрольным точкам
Περιγραφή αρχείου: application/pdf
Relation: https://www.chebsbornik.ru/jour/article/view/402/403; Mirkin A., Kuznetsov A., Kolyshkin K. Containers checkpointing and live migration // Proceedings of the In Ottawa Linux Symposium, vol. 2, pp. 85-90 (2008).; Ефанов Н.Н., Емельянов П. В. Построение формальной грамматики системных вызовов // М. Информационное обеспечение математических моделей, 2017, 83-91 cc.; Efanov N. N., Emelyanov P. V. Constructing the formal grammar of system calls // In Proceedings of the 13th Central & Eastern European Software Engineering Conference in Russia (CEE-SECR '17). ACM, New York, NY, USA, 2017, Article 12, 5 pages. doi:10.1145/3166094.3166106; Bozyigit M., Wasiq M. User-level process checkpoint and restore for migration // ACM SIGOPS Operating Systems Review, 2017, vol. 35 no. 2, pp. 86-96. doi:10.1145/377069.377091; Cayley A. A theorem on trees. // Collected Mathematical Papers, 1897, vol. 13. pp. 26-28.; Clemente Izurieta, James Bieman. The evolution of FreeBSD and linux. // In Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering (ISESE '06). ACM, New York, NY, USA, 2006, pp. 204-211. doi:10.1145/1159733.1159765; Leonardo Passos, Jianmei Guo, Leopoldo Teixeira, Krzysztof Czarnecki, Andrzej Wąsowski, and Paulo Borba. Coevolution of variability models and related artifacts: a case study from the Linux kernel // In Proceedings of the 17th International Software Product Line Conference (SPLC '13). ACM, New York, NY, USA, 2013, pp. 91-100. doi:10.1145/2491627.2491628; Белоусов А. И. Дискретная математика, 4-е изд., М.: МГТУ имени Н. Э. Баумана, 2006, 744 с.; Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. Introduction to Algorithms, 2nd Edition, MIT Press and McGraw-Hill , 2001. ISBN 0-262-03293-7.; Knuth, Donald E., The Art of Computer Programming Vol 1. 3rd edition, Boston: Addison-Wesley, 1997. ISBN 0-201-89683-4; Krippendorff, Klaus. "Combinatorial Explosion" // Web Dictionary of Cybernetics and Systems. PRINCIPIA CYBERNETICA WEB. Retrieved 29 November 2010. URL: url{http://pespmc1.vub.ac.be/ASC/Combin_explo.html} (Дата обращения: 31.05.2018).; Alfred V. Aho , Jeffrey D. Ullman , The theory of parsing, translation, and compiling, Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1972. URL: url{dl.acm.org/citation.cfm?id=578789} (Дата обращения: 31.05.2018).; Охотин А. Формальные грамматики и вычислительная сложность синтаксического анализа. СПбГУ, программа “Математика”, 12 ноября 2017 г. noindent URL: url{https://compsciclub.ru/media/slides/for-mal_grammars_2017_autumn/2017_11_12_formal_grammars_2017_autumn.pdf} (Дата обращения: 31.05.2018).; David J. Weir. Characterizing Mildly Context-Sensitive Grammar Formalisms. Ph.D. thesis, University of Pennsylvania, Philadelphia, USA, 1988. doi:10.1145/3166094.3166106; M. A. Alonso and V. J. D'iaz. Variants of mixed parsing of TAG and TIG // Traitement Automatique des Langues (TAL), 2003, no. 44(3), pp. 41–65.; Barash, Mihail. Defining Contexts in Context-Free Grammars, Turku Center for Computer Science, TCCS Dissertation no. 204, 2015. URL: url{https://www.doria.fi/bitstream/handle/10024/113793/TUCSDissertationD204.pdf} (Дата обращения: 31.05.2018).; Boullier, P. On Multicomponent TAG parsing. // In 6th conference annuelle sur le Traitement Automatique des Langues Naturelles (TALN 1999), Cargse, Corse, France, 1999, pp. 321–326.; Boullier P., Sagot B. Multi-Component Tree Insertion Grammars. // In: de Groote P., Egg M., Kallmeyer L. (eds) Formal Grammar. FG 2009. Lecture Notes in Computer Science, vol 5591. Springer, Berlin, Heidelberg, 2011.; Claire Gardent and Laura Kallmeyer. Semantic construction in feature-based TAG. // In Proceedings of the tenth conference on European chapter of the Association for Computational Linguistics - Volume 1 (EACL '03), vol. 1, Association for Computational Linguistics, Stroudsburg, PA, USA, 2003, pp. 123-130. doi:10.3115/1067807.1067825; Marina Kudinova and Pavel Emelyanov. Building Mathematical Model for Restoring Processes Tree during Container Live Migration. // IVth International Conference on Engineering and Telecommunication (EnT), November 2017, Dolgoprudniy. doi:10.1109/ICEnT.2017.41; Zengin M., Vafeiadis V. A programming language approach to fault tolerance for fork-join parallelism // Proceedings of the 7th International Symposium on Theoretical Aspects of Software Engineering (TASE 2013), Max Planck Institute for Software Systems (MPI-SWS), Saarsbruchen, Germany, 2013.; Adel Cherif, Masato Suzuki, and Takuya Katayama. A Replication Technique Based on a Functional and Attribute Grammar Computation Model. In Proceedings of the The Seventh International Symposium on Software Reliability Engineering (ISSRE '96), IEEE Computer Society, Washington, DC, USA, 1996, p. 266.; https://www.chebsbornik.ru/jour/article/view/402
Διαθεσιμότητα: https://www.chebsbornik.ru/jour/article/view/402
-
4Academic Journal
Συγγραφείς: Жегалин Михаил Александрович, Иванов Сергей Георгиевич, Чухнов Антон Сергеевич, Яндринский Владислав Вадимович
Συνεισφορές: Казанский (Приволжский) федеральный университет
Θεματικοί όροι: математические олимпиады, продуктивная деятельность, конструктивные задачи, дистанционное обучение, компьютерные средства, предметные манипуляторы, формальные грамматики, mathematical olympiads, productive activity, constructive tasks, distance learning, computer tools, object manipulators, formal grammars
Relation: МАТЕМАТИЧЕСКОЕ ОБРАЗОВАНИЕ В ШКОЛЕ И ВУЗЕ: ОПЫТ, ПРОБЛЕМЫ, ПЕРСПЕКТИВЫ MATHEDU' 2023; http://dspace.kpfu.ru/xmlui/bitstream/net/176526/-1/F_MAT_EDU__2023_159_167.pdf; https://dspace.kpfu.ru/xmlui/handle/net/176526; 519.171.4
Διαθεσιμότητα: https://dspace.kpfu.ru/xmlui/handle/net/176526
-
5Book
Συνεισφορές: Сибирский федеральный университет, Институт математики и фундаментальной информатики, Семенова, Дарья Владиславовна, Быкова, Валентина Владимировна
Θεματικοί όροι: ТЕОРИЯ АВТОМАТОВ, ФОРМАЛЬНЫЕ ГРАММАТИКИ, НЕРАЗРЕШИМОСТЬ, 519.71(07), КОНЕЧНЫЕ АВТОМАТЫ, СЛОЖНОСТЬ ВЫЧИСЛЕНИЙ, ТЕОРИЯ СЛОЖНОСТИ ВЫЧИСЛЕНИЙ, ФОРМАЛЬНЫЕ ЯЗЫКИ, РЕГУЛЯРНЫЕ ВЫРАЖЕНИЯ И ЯЗЫКИ, ТЕОРИЯ ФОРМАЛЬНЫХ ЯЗЫКОВ
Σύνδεσμος πρόσβασης: https://openrepository.ru/article?id=450714
-
6Academic Journal
Συγγραφείς: Tsvetov V.P.
Πηγή: Vestnik of Samara University. Natural Science Series; Vol 23, No 1 (2017); 28-40 ; Вестник Самарского университета. Естественнонаучная серия; Vol 23, No 1 (2017); 28-40 ; 2712-8954 ; 2541-7525
Θεματικοί όροι: полукольца языков, формальные грамматики, порождающие грамматики, теория графов, маршруты на размеченных графах, граф-порожденные грамматики, матрично порожденные грамматики, semirings of languages, formal grammars, generative grammars, graph theory, paths in graphs, labeled graphs, graph-generated grammars, matrix-generated grammars
Περιγραφή αρχείου: application/pdf
Relation: https://journals.ssau.ru/est/article/view/5144/5022; https://journals.ssau.ru/est/article/view/5144
-
7Academic Journal
Πηγή: Прикладная дискретная математика. Приложение. 2017. № 10. С. 149-151
Θεματικοί όροι: формальные грамматики, формальные языки, формальные степенные ряды, якобиан, системы полиномиальных уравнений
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000582112
-
8Academic Journal
Συνεισφορές: Russian Foundation of Basic Research
Πηγή: Modeling and Analysis of Information Systems; Том 22, № 2 (2015); 176-196 ; Моделирование и анализ информационных систем; Том 22, № 2 (2015); 176-196 ; 2313-5417 ; 1818-1015
Θεματικοί όροι: магазинные автоматы со стеками, formal grammars and languages, push-down automata with independent counters, projective and non-projective dependency, categorial dependency grammar, multimodal categorial dependency grammar, push-down automata with stacks of independent counter, формальные грамматики и языки, магазинные автоматы с независимыми счётчиками, проективная и непроективная зависимость, категориальная грамматика зависимостей, мультимодальная категориальная грамматика зависимостей
Περιγραφή αρχείου: application/pdf
Relation: https://www.mais-journal.ru/jour/article/view/239/252; https://www.mais-journal.ru/jour/article/view/239/253; Bar-Hillel Y., Gaifman H., Shamir E., “On categorial and phrase structure grammars”, Bull. Res. Council Israel, 9F (1960), 1–16.; Dekhtyar M., Dikovsky A., “Categorial dependency grammars”, Proc. of Int. Conf. on Categorial Grammars, 2004, 76–91.; Dekhtyar M., Dikovsky A., “Generalized categorial dependency grammars”, Pillars of Compute Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, LNCS, 4800, 2008, 230–255.; Dekhtyar M., Dikovsky A., Karlov B., “Iterated dependencies and Kleene iteration”, Proc. of the 15th Conference on Formal Grammar (FG 2010), LNCS, 7395, Copenhagen, Denmark, 2012, 66–81.; Dikovsky A., “Grammars for local and long dependencies”, In Proc. of the Intern. Conf. ACL’2001, 2001, 156–163.; Dikovsky A., “Dependencies as categories”, Proc. of Workshop Recent Advances in Dependency Grammars”. In conjunction with COLING 2004, 2004, 90–97.; Dikovsky A., “Proc. of the 12th Conference on Formal Grammar”, 2007, 1–12.; Ginsburg S., Greibach S., “Abstract families of languages”, Mem. Amer. Math. Soc., 1969, № 87, 1–32.; Greibach S., “A new normal-form theorem for context-free phrase structure grammars”, Journal of the ACM, 12 (1965), 42–52.; Hack M., “Petri Net Languages”, MIT, Lab. for Computer Science, Technical Report 159, 1976.; Hopcroft J., Ullman J., Introduction to Automata Theory, Languages and Computation, Addison-Wesley, 1979.; Kallmeyer L., Parsing Beyond Context-Free Grammars, Cognitive Technologies, SpringerVerlag, Berlin Heidelberg, 2010.; Joshi A., Levy L., Takahashi M., “Tree adjunct grammar”, Journal of Computer and System Sciences, 1975, № 10(1), 136–163.; Kanazawa M., Salvati S., “Mix is not a tree-adjoining language”, The 50th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference: Long Papers, 1, Jeju Island, Korea, 2012, 666–674.; Karlov B., “Abstract automata and a normal form for categorial dependency grammars”, Proc. of the 7th International Conference on Logical Aspects of Computational Linguistics (LACL 2012), LNCS, 7351, Nantes, France, 2012, 86–102.; Søgaard A., “A linear time extension of deterministic push-down automata”, Proc. of the 17th Nordic Conference of Computational Linguistics NODALIDA 2009, NEALT Proceedings Series, 4, eds. K. Jokinen, E. Bick, 2009, 182–189.; Tesni`ere L., El´ements de syntaxe structurale. Librairie C ´ , Klincksieck, Paris, 1959.; Vijay-Shanker K., A Study of Tree Adjoining Grammars, Ph.D. thesis, University of Pennsylvania, 1987.; Vijay-Shanker K., Weir D. J., “The equivalence of four extensions of context-free grammars”, Mathematical Systems Theory, 1994, № 27(6), 511–546.; Gladkiy A. V., Formalnye grammatiki i yazyki, Nauka, Moskva, 1973, (in Russian).; Karlov B. N., “Normalnye formy i avtomaty dlya kategorialnykh grammatik zavisimostey”, Vestnik Tverskogo gosudarstvennogo universiteta, “Prikladnaya matematika”, 2008, 23–43, (in Russian).
-
9Academic Journal
Συγγραφείς: Tsvetov V.
Πηγή: Vestnik of Samara University. Natural Science Series; Vol 20, No 10 (2014); 102-108 ; Вестник Самарского университета. Естественнонаучная серия; Vol 20, No 10 (2014); 102-108 ; 2712-8954 ; 2541-7525
Θεματικοί όροι: формальные языки, формальные грамматики, порождающие грамматики, теория автоматов, теория графов, маршруты на графах, размеченные графы, граф-порожденные грамматики
Περιγραφή αρχείου: application/pdf
Relation: https://journals.ssau.ru/est/article/view/4515/4413; https://journals.ssau.ru/est/article/view/4515
-
10Academic Journal
Συγγραφείς: Ена, Олег, Ефименко, Ирина, Колесов, Родион
Θεματικοί όροι: ПАТТЕРНЫ ДАННЫХ, МЕТОД АНАЛИЗА ПАТТЕРНОВ ДАННЫХ, ИНФОРМАЦИОННО-АНАЛИТИЧЕСКАЯ СИСТЕМА, ПОДДЕРЖКА ПРИНЯТИЯ РЕШЕНИЙ, ЛУЧШИЕ ПРАКТИКИ, ФОРМАЛЬНЫЕ ГРАММАТИКИ, СТРУКТУРНОЕ РАСПОЗНАВАНИЕ ОБРАЗОВ
Περιγραφή αρχείου: text/html
-
11Academic Journal
Συγγραφείς: ЦВЕТОВ В.П.
Περιγραφή αρχείου: text/html
-
12Academic Journal
Συγγραφείς: Мокін, В. Б., Коновалюк, Ю. М.
Πηγή: Visnyk of Vinnytsia Politechnical Institute; No 5 (2011); 44-47 ; Вестник Винницкого политехнического института; № 5 (2011); 44-47 ; Вісник Вінницького політехнічного інституту; № 5 (2011); 44-47 ; 1997-9274 ; 1997-9266
Θεματικοί όροι: search for environmental information, information systems, ontological database, formal grammar, поиск экологической информации, геоинформационные системы, онтологическая база данных, формальные грамматики, пошук екологічної інформації, геоінформаційні системи, онтологічна база даних, формальні граматики
Περιγραφή αρχείου: application/pdf
-
13Academic Journal
Συγγραφείς: Fisun, Mykola T., Yablonska, Kateryna Yu., Shunevych, Oleh B.
Πηγή: Збірник наукових праць НУК; № 3 (2013): Збірник наукових праць НУК
Сборник научных трудов НУК; № 3 (2013): Сборник научных трудов НУК
Collection of Scientific Publications NUS; № 3 (2013): Collection of Scientific Publications of NUSΘεματικοί όροι: сценарний аналіз, формальні граматики, контекстно-вільна граматика, проблемно-орієнтована мова опису сценаріїв, вітрова електростанція, scenario analysis, formal grammars, context-free grammar, problem-oriented language of scenario's description, wind power station, 7. Clean energy, сценарный анализ, формальные грамматики, контекстно-свободная грамматика, проблемно-ориентированный язык описания сценариев, ветровая электростанция
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: http://jnn.nuos.edu.ua/article/view/23196
-
14Academic Journal
Πηγή: Проблемы управления.
Περιγραφή αρχείου: text/html
-
15Academic Journal
Πηγή: Вестник Самарского государственного университета.
Περιγραφή αρχείου: text/html
-
16Academic Journal
Συγγραφείς: Ломакин, В. В., Асадуллаев, Р. Г., Зайцева, Т. В., Путивцева, Н. П., Белоконь, Ю. Ю.
Θεματικοί όροι: авторы БелГУ, специализированные языки управления данными, формальное описание языков, формальные грамматики, сеть конечных автоматов
Περιγραφή αρχείου: application/pdf
Relation: http://dspace.bstu.ru/jspui/bitstream/123456789/3296/1/31.%20%d0%9b%d0%be%d0%bc%d0%b0%d0%ba%d0%b8%d0%bd.pdf; http://dspace.bstu.ru/jspui/handle/123456789/3296
Διαθεσιμότητα: http://dspace.bstu.ru/jspui/handle/123456789/3296
-
17
Συγγραφείς: Мрыхин Михаил Кириллович, Mryhin Mihail Kirillovic
Συνεισφορές: Бараш Михаил Леонидович, Baras Mihail Leonidovic, Охотин Александр Сергеевич, Ohotin Aleksandr Sergeevic
Θεματικοί όροι: формальные языки, теория автоматов, клеточные автоматы, двусторонние клеточные автоматы линейного времени, формальные грамматики, LL(k) грамматики, самый трудный язык, гомоморфное сведение, formal languages, automata theory, cellular automata, two-way linear-time cellular automata, formal grammars, LL(k) grammars, hardest language, homomorphic reduction
Relation: 049039; http://hdl.handle.net/11701/30116
Διαθεσιμότητα: http://hdl.handle.net/11701/30116
-
18Academic Journal
Συγγραφείς: Бидуля, Ю. В., Bidulya, Yu. V.
Θεματικοί όροι: автоматизация обработки контента, формальные грамматики, формальные языки, automation of content processing, formal grammars, formal languages
Περιγραφή αρχείου: application/pdf
Relation: Вестник Тюменского государственного университета. — 2008. — № 6; Бидуля, Ю. В. Алгоритмизация смыслового описания контента / Ю. В. Бидуля. — Текст : электронный // Вестник Тюменского государственного университета. — 2008. — № 6. — С. 195–198.
Διαθεσιμότητα: https://elib.utmn.ru/jspui/handle/ru-tsu/31011
-
19Academic Journal
Συγγραφείς: Буслик, Н. Н., Тимофеев, С. П.
Θεματικοί όροι: формальные грамматики, лексические базы данных
Περιγραφή αρχείου: application/msword
Διαθεσιμότητα: http://openarchive.nure.ua/handle/document/7156
-
20
Συγγραφείς: Былина, Анастасия Сергеевна
Πηγή: Актуальные проблемы лингвистики и литературоведения : сборник материалов VI (XX) Международной конференции молодых ученых, г. Томск, 18–19 апреля 2019 г. Томск, 2020. Вып. 20. С. 94-95
Θεματικοί όροι: формальные грамматики, извлечение фактов, Web-сервисы
Περιγραφή αρχείου: application/pdf
Relation: vtls:000734602; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000734602