Buchumschlag

Axiomatic models and methods used to design of language translators

Application of logical methods and formal system theory methods used to design of language translators are considered. An analogue of a resolution method for elementary systems is proposed.

Gespeichert in:

Bibliographische Detailangaben
Datum:	2015
Hauptverfasser:	Parasyuk, I.N., Provotar, O.I., Kondratenko, V.A.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2015
Schlagworte:	UDC 681.3
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/16
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Fuzzy diagnostic models in the H-Homeopath system
von: Provotar, A.I., et al.
Veröffentlicht: (2026)

Design of ontological system of terms and their cognitive models in scientific research
von: Rogushina, J.V., et al.
Veröffentlicht: (2026)

Means of designing object-oriented programs based on algebra of algorithmics
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2015)

Formalized designing and generation of parallel program for numerical weather forecasting task
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Development of a semantic and syntactic model of natural language by means of non-negative matrix and tensor factorization
von: Marchenko, O.O.
Veröffentlicht: (2025)

Designing principles of the Intelligent information technology for organization decisions
von: Ilyina, E.P., et al.
Veröffentlicht: (2017)

A system for the automated design of digital image filters
von: Zhereb, K.A., et al.
Veröffentlicht: (2026)

Problems and tools of designing and estimation of viable program system
von: Ignatenko, P.P., et al.
Veröffentlicht: (2015)

Formalized design and synthesis of parallel programs for videographic shortcuts
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

About some approaches to calculating uncertainties
von: Provotar, A.I., et al.
Veröffentlicht: (2026)

Approach to programming of applications with using of Semantic Web-services
von: Deretsky, V.A.
Veröffentlicht: (2026)

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
von: Yatsenko, O.A.
Veröffentlicht: (2025)

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
von: Akulovskiy, V.G., et al.
Veröffentlicht: (2017)

Formalized design and synthesis of a parallel program for constructing Voronoi diagrams
von: Berezovsky, K.A., et al.
Veröffentlicht: (2026)

Virtualization of models of technical plants in educational and research problems in the development of control systems
von: Zherebko, V.A.
Veröffentlicht: (2017)

Algorithm for constructing six-dimensional tensor for the problem finding hidden semantic relations into the case of natural language texts
von: Voznyuk, T.G.
Veröffentlicht: (2025)

Comparative characteristics of methods of object-relational mapping
von: Lihatsky, I.A.
Veröffentlicht: (2025)

Methods of automated algorithms schemes transformation
von: Shkulipa, I.Yu., et al.
Veröffentlicht: (2026)

Using ontological knowledge in recommender systems
von: Rogushina, J.V.
Veröffentlicht: (2025)

The algebraic model refactoring of components
von: Grischenko, V.N.
Veröffentlicht: (2015)

Technological aspects of viable software development using generative programming
von: Ignatenko, P.P., et al.
Veröffentlicht: (2026)

Automatically adjustable parallel algorithm for solving multidimensional problem of environmental modeling
von: Ivanenko, P.A., et al.
Veröffentlicht: (2026)

Programming gestures simulator with statistical modeling
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)

Algebra-dynamic models for program parallelization
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Conceptual models of distributed component systems
von: Lavrischeva, K.M., et al.
Veröffentlicht: (2025)

Model program, systems and operational environments
von: Lavrischeva, K.M.
Veröffentlicht: (2025)

On some technology of project modeling of stochastic manufacturing technological processes
von: Maksimey, I.V., et al.
Veröffentlicht: (2015)

Technological Model for the Process of Software Automated Production
von: Slabospitska, O.O.
Veröffentlicht: (2025)

Approach to improve efficiency of service-oriented systems using estimation and distribution of load
von: Tulika, E.M.
Veröffentlicht: (2026)

Agent model of information retrieval on the basis of beehive metaphor
von: Remarovich, S.S.
Veröffentlicht: (2025)

Semantics role in integration of applications on the basis of Web services
von: Andon, P.I., et al.
Veröffentlicht: (2026)

One model of optimal resource allocation in homogeneous multiprocessor system
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Development of applications in service-oriented architecture of Semantic Web
von: Deretskiy, V.A.
Veröffentlicht: (2025)

Interactive assessment of simulated service qualities by business stakeholders: principles and research issues
von: Shekhovtsov, V.A.
Veröffentlicht: (2026)

Деякі підходи до обчислення умовної невизначеності
von: Provotar, O.I., et al.
Veröffentlicht: (2015)

The practical approach for realization Semantic Web applications
von: Deretskiy, V.A., et al.
Veröffentlicht: (2026)

Algorithmic algebra tools on the Web 2.0 platform
von: Iovchev, V.A., et al.
Veröffentlicht: (2026)

The registration and accounting of the information about events in specialized informational-telecommunication systems
von: Alekseev, V.A., et al.
Veröffentlicht: (2025)

Organization of the Schemes of Interaction of Departmental Information Systems in the Integrated Interdepartmental Information System
von: Alekseev, V.A., et al.
Veröffentlicht: (2015)

Problem of automation of situational management of protection of zones of the responsibility
von: Alekseev, V.A., et al.
Veröffentlicht: (2025)