Poltoratskyi M. Algebraic approach in formalization and analysis of economic and legal models

The purpose of the work is to develop the general principles of analysis and verification of legal and economic models by means of insertion modeling. Section 1 provides an analysis of existing modeling methods and systems for verifying legal models. Section 2 reveals the basic concepts of insertion modeling. A model of taxpayer registration using insertion modeling has been developed. Section 3 describes the parsing systems and automatic abstracting systems that can be used in the study of legal documents. Section 4 describes the modern methods and technologies used in economic modeling. A concrete, symbolic model of Walras has been developed. The concept of tokenomics is characterized, the SKILLONOMY model is formalized. The practical significance of scientific results lies in the application of the obtained results to the analysis of formal models of law, as well as models of economics and tokenomics.