Зображення обкладинки

The definition of formal languages in the meta language of normal forms of knowledge

The expressive means of the metalanguage of normal forms of knowledge in relation to different level formal languages are investigated. The formal descriptions of a multitude of linguistic examples are given. The graphic metadescription equivalent to the given text description of the interpreter of...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2018
Автори:	Kurgaev, A.F., Grygoryev, S.M.
Формат:	Стаття
Мова:	Російська
Опубліковано:	PROBLEMS IN PROGRAMMING 2018
Теми:	meta-language regular languages context-free languages context languages 0-languages Turing machines formal description of languages UDC 004.8
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/309
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

The modification of the meta-language of normal forms of knowledge
за авторством: Kurgaev, A.F.
Опубліковано: (2019)

The description of lists and sets of meta-language of normal forms of knowledge
за авторством: Kurgaev, A.F.
Опубліковано: (2020)

Formalization for sign units creation based on 3d human model for Ukrainian sign language
за авторством: Krivonos, Yu.G., та інші
Опубліковано: (2015)

Algebras of generalized tree languages with fixed variables
за авторством: Phuapong, S., та інші
Опубліковано: (2024)

Reverse synthesis of natural language phrases grounding on their ontological representation using a large language model
за авторством: Kaverynskyi, V.V., та інші
Опубліковано: (2024)

The translator of Petri-object model visual programming language
за авторством: Dyfuchyn, А.Yu.
Опубліковано: (2022)

Modern AI methods for detecting propaganda in text
за авторством: Бойко , О.А.
Опубліковано: (2025)

System of classification for personnel selection based upon Ukrainian language ana-lyze
за авторством: Zhezherun, O.P., та інші
Опубліковано: (2021)

A dialogue system based on ontology automatically built through a natural language text analysis
за авторством: Litvin, A.A., та інші
Опубліковано: (2023)

Integration of large language models with semantic processing tools as an instrument for knowledge digitization
за авторством: Sinitsyn, I.P., та інші
Опубліковано: (2025)

Semantics and pragmatics of programming language ASAMPL
за авторством: Sulema, Y.S., та інші
Опубліковано: (2020)

Method for political propaganda detection in internet content using neural network natural language processing tools
за авторством: Krak, Iu.V., та інші
Опубліковано: (2024)

Application of small language models for semantic analysis of Web interface accessibility
за авторством: Kuzikov, B.O., та інші
Опубліковано: (2025)

Людиноподібні діалогові агенти
за авторством: Chmir, Igor Alexeevich
Опубліковано: (2014)

Knowledge bases and description logics applications to natural language texts analysis
за авторством: Hoherchak, H.I.
Опубліковано: (2020)

Formal verification of the properties of coreferent resolution model based on decision trees
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2024)

Coreference resolution algorithm for Ukrainian-language texts using decision trees
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2023)

Use of domain ontology for homonymy clarification into the natural language texts
за авторством: Lesko, O.N., та інші
Опубліковано: (2018)

Methods and software for significant indicators determination of the natural language texts author profile
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2023)

Methods and tools for developing an information system for validation of non-formal learning outcomes
за авторством: Pryima, S.M., та інші
Опубліковано: (2020)

Representation of monadic effects in the non-monadic form
за авторством: Shevchenko, R.S.
Опубліковано: (2024)

Embedding a family of logic languages with custom monadic unification in Scala
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2024)

The definition of formal languages in the meta language of normal forms of knowledge
за авторством: A. F. Kurgaev, та інші
Опубліковано: (2017)

Multimodal RAG using text and visual data
за авторством: Shevchenko, M.H., та інші
Опубліковано: (2025)

Building of Networks of Natural Hierarchies of Terms Based on Analysis of Texts Corpora
за авторством: Lande, D. V., та інші
Опубліковано: (2014)

Jupyter Notebook: a system for interactive scientific computing
за авторством: Yakimchik, A. I.
Опубліковано: (2019)

Machine-learning methods for text named entity recognition
за авторством: Marchenko, O.O.
Опубліковано: (2018)

A generalized methodology of sign language recognition on video streams based on neural networks and transformers
за авторством: Кузнєцова, Н. В., та інші
Опубліковано: (2023)

About one approach to automatic creation of formal queries to ontological knowledge bases
за авторством: Palagin, O.V., та інші
Опубліковано: (2024)

Automatic text summarization of Chinese legal information
за авторством: Lande, Dmytro, та інші
Опубліковано: (2018)

ВИКОРИСТАННЯ ДОМЕН-НЕЗАЛЕЖНОГО ДІАЛОГОВОГО ВІКНА ДЛЯ ВИРІШЕННЯ ПРОБЛЕМ УПРАВЛІННЯ БАЗАМИ ДАНИХ
за авторством: Chimir, Igor Alekseevich, та інші
Опубліковано: (2012)

Problem of data analysis and forecasting using decision trees method
за авторством: Lytvynenko, T.I.
Опубліковано: (2018)

Extracting structure from text documents based on machine learning
за авторством: Kudim, K.A., та інші
Опубліковано: (2023)

Building Directed Weighted Networks of Terms with Applying Part-of-speech Tagging
за авторством: Дмитренко, О. О.
Опубліковано: (2020)

Modelling videocard memory performance for LLM neural networks
за авторством: Rahozin, D.V., та інші
Опубліковано: (2024)

Basics of programming in the context of software engineering
за авторством: Sydorov, М.О.
Опубліковано: (2019)

Equivalence of two parallel execution systems
за авторством: Panchenko, T.V., та інші
Опубліковано: (2018)

Correctness Property Proof for the Banking System for Money Transfer Payments
за авторством: Ostapovska, Yu.A., та інші
Опубліковано: (2018)

Evaluating text coherence based on the graph of the consistency of phrases to identify symptoms of schizophrenia
за авторством: Kramov, A. А.
Опубліковано: (2020)

Visibility Graph as a Tool for the Network Analysis of Measurement Series
за авторством: Snarskii, A. A., та інші
Опубліковано: (2013)