Εμφανίζονται 1 - 20 Αποτελέσματα από 25 για την αναζήτηση '"ФОРМАЛЬНЫЕ ГРАММАТИКИ"', χρόνος αναζήτησης: 0,54δλ Περιορισμός αποτελεσμάτων
  1. 1
  2. 2
    Academic Journal

    Πηγή: Прикладная дискретная математика. 2019. № 45. С. 90-96

    Περιγραφή αρχείου: application/pdf

  3. 3
    Academic Journal

    Συνεισφορές: МФТИ(ГУ)

    Πηγή: Chebyshevskii Sbornik; Том 19, № 2 (2018); 151-162 ; Чебышевский сборник; Том 19, № 2 (2018); 151-162 ; 2226-8383 ; 10.22405/2226-8383-2018-19-2

    Περιγραφή αρχείου: 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

  4. 4
    Academic Journal

    Συνεισφορές: Казанский (Приволжский) федеральный университет

    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

  5. 5
    Book

    Συνεισφορές: Сибирский федеральный университет, Институт математики и фундаментальной информатики, Семенова, Дарья Владиславовна, Быкова, Валентина Владимировна

    Σύνδεσμος πρόσβασης: https://openrepository.ru/article?id=450714

  6. 6
  7. 7
  8. 8
    Academic 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

    Περιγραφή αρχείου: 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).

  9. 9
    Academic 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

  10. 10
  11. 11
  12. 12
    Academic Journal

    Πηγή: Visnyk of Vinnytsia Politechnical Institute; No 5 (2011); 44-47 ; Вестник Винницкого политехнического института; № 5 (2011); 44-47 ; Вісник Вінницького політехнічного інституту; № 5 (2011); 44-47 ; 1997-9274 ; 1997-9266

    Περιγραφή αρχείου: application/pdf

  13. 13
  14. 14
  15. 15
  16. 16
  17. 17
  18. 18
    Academic Journal

    Συγγραφείς: Бидуля, Ю. В., Bidulya, Yu. V.

    Περιγραφή αρχείου: application/pdf

    Relation: Вестник Тюменского государственного университета. — 2008. — № 6; Бидуля, Ю. В. Алгоритмизация смыслового описания контента / Ю. В. Бидуля. — Текст : электронный // Вестник Тюменского государственного университета. — 2008. — № 6. — С. 195–198.

  19. 19
  20. 20

    Πηγή: Актуальные проблемы лингвистики и литературоведения : сборник материалов VI (XX) Международной конференции молодых ученых, г. Томск, 18–19 апреля 2019 г. Томск, 2020. Вып. 20. С. 94-95

    Περιγραφή αρχείου: application/pdf