Парадигма эксформатики. Моделирование самопрограммирующихся и интеллектуальных систем. Василий Терехов

id="litres_trial_promo">

      Конец ознакомительного фрагмента.

      Текст предоставлен ООО «ЛитРес».

      Прочитайте эту книгу целиком, купив полную легальную версию на ЛитРес.

      Безопасно оплатить книгу можно банковской картой Visa, MasterCard, Maestro, со счета мобильного телефона, с платежного терминала, в салоне МТС или Связной, через PayPal, WebMoney, Яндекс.Деньги, QIWI Кошелек, бонусными картами или другим удобным Вам способом.

/9j/4AAQSkZJRgABAQEASwBLAAD/4gxYSUNDX1BST0ZJTEUAAQEAAAxITGlubwIQAABtbnRyUkdCIFhZWiAHzgACAAkABgAxAABhY3NwTVNGVAAAAABJRUMgc1JHQgAAAAAAAAAAAAAAAAAA9tYAAQAAAADTLUhQICAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABFjcHJ0AAABUAAAADNkZXNjAAABhAAAAGx3dHB0AAAB8AAAABRia3B0AAACBAAAABRyWFlaAAACGAAAABRnWFlaAAACLAAAABRiWFlaAAACQAAAABRkbW5kAAACVAAAAHBkbWRkAAACxAAAAIh2dWVkAAADTAAAAIZ2aWV3AAAD1AAAACRsdW1pAAAD+AAAABRtZWFzAAAEDAAAACR0ZWNoAAAEMAAAAAxyVFJDAAAEPAAACAxnVFJDAAAEPAAACAxiVFJDAAAEPAAACAx0ZXh0AAAAAENvcHlyaWdodCAoYykgMTk5OCBIZXdsZXR0LVBhY2thcmQgQ29tcGFueQAAZGVzYwAAAAAAAAASc1JHQiBJRUM2MTk2Ni0yLjEAAAAAAAAAAAAAABJzUkdCIElFQzYxOTY2LTIuMQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAWFlaIAAAAAAAAPNRAAEAAAABFsxYWVogAAAAAAAAAAAAAAAAAAAAAFhZWiAAAAAAAABvogAAOPUAAAOQWFlaIAAAAAAAAGKZAAC3hQAAGNpYWVogAAAAAAAAJKAAAA+EAAC2z2Rlc2MAAAAAAAAAFklFQyBodHRwOi8vd3d3LmllYy5jaAAAAAAAAAAAAAAAFklFQyBodHRwOi8vd3d3LmllYy5jaAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABkZXNjAAAAAAAAAC5JRUMgNjE5NjYtMi4xIERlZmF1bHQgUkdCIGNvbG91ciBzcGFjZSAtIHNSR0IAAAAAAAAAAAAAAC5JRUMgNjE5NjYtMi4xIERlZmF1bHQgUkdCIGNvbG91ciBzcGFjZSAtIHNSR0IAAAAAAAAAAAAAAAAAAAAAAAAAAAAAZGVzYwAAAAAAAAAsUmVmZXJlbmNlIFZpZXdpbmcgQ29uZGl0aW9uIGluIElFQzYxOTY2LTIuMQAAAAAAAAAAAAAALFJlZmVyZW5jZSBWaWV3aW5nIENvbmRpdGlvbiBpbiBJRUM2MTk2Ni0yLjEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAHZpZXcAAAAAABOk/gAUXy4AEM8UAAPtzAAEEwsAA1yeAAAAAVhZWiAAAAAAAEwJVgBQAAAAVx/nbWVhcwAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAo8AAAACc2lnIAAAAABDUlQgY3VydgAAAAAAAAQAAAAABQAKAA8AFAAZAB4AIwAoAC0AMgA3ADsAQABFAEoATwBUAFkAXgBjAGgAbQByAHcAfACBAIYAiwCQAJUAmgCfAKQAqQCuALIAtwC8AMEAxgDLANAA1QDbAOAA5QDrAPAA9gD7AQEBBwENARMBGQEfASUBKwEyATgBPgFFAUwBUgFZAWABZwFuAXUBfAGDAYsBkgGaAaEBqQGxAbkBwQHJAdEB2QHhAekB8gH6AgMCDAIUAh0CJgIvAjgCQQJLAlQCXQJnAnECegKEAo4CmAKiAqwCtgLBAssC1QLgAusC9QMAAwsDFgMhAy0DOANDA08DWgNmA3IDfgOKA5YDogOuA7oDxwPTA+AD7AP5BAYEEwQgBC0EOwRIBFUEYwRxBH4EjASaBKgEtgTEBNME4QTwBP4FDQUcBSsFOgVJBVgFZwV3BYYFlgWmBbUFxQXVBeUF9gYGBhYGJwY3BkgGWQZqBnsGjAadBq8GwAbRBuMG9QcHBxkHKwc9B08HYQd0B4YHmQesB78H0gflB/gICwgfCDIIRghaCG4IggiWCKoIvgjSCOcI+wkQCSUJOglPCWQJeQmPCaQJugnPCeUJ+woRCicKPQpUCmoKgQqYCq4KxQrcCvMLCwsiCzkLUQtpC4ALmAuwC8gL4Qv5DBIMKgxDDFwMdQyODKcMwAzZDPMNDQ0mDUANWg10DY4NqQ3DDd4N+A4TDi4OSQ5kDn8Omw62DtIO7g8JDyUPQQ9eD3oPlg+zD88P7BAJECYQQxBhEH4QmxC5ENcQ9RETETERTxFtEYwRqhHJEegSBxImEkUSZBKEEqMSwxLjEwMTIxNDE2MTgxOkE8UT5RQGFCcUSRRqFIsUrRTOFPAVEhU0FVYVeBWbFb0V4BYDFiYWSRZsFo8WshbWFvoXHRdBF2UXiReuF9IX9xgbGEAYZRiKGK8Y1Rj6GSAZRRlrGZEZtxndGgQaKhpRGncanhrFGuwbFBs7G2MbihuyG9ocAhwqHFIcexyjHMwc9R0eHUcdcB2ZHcMd7B4WHkAeah6UHr4e6R8THz4faR+UH78f6iAVIEEgbCCYIMQg8CEcIUghdSGhIc4h+yInIlUigiKvIt0jCiM4I2YjlCPCI/AkHyRNJHwkqyTaJQklOCVoJZclxyX3JicmVyaHJrcm6CcYJ0kneierJ9woDSg/KHEooijUKQYpOClrKZ0p0CoCKjUqaCqbKs8rAis2K2krnSvRLAUsOSxuLKIs1y0MLUEtdi2rLeEuFi5MLoIuty7uLyQvWi+RL8cv/jA1MGwwpDDbMRIxSjGCMbox8jIqMmMymzLUMw0zRjN/M7gz8TQrNGU0njTYNRM1TTWHNcI1/TY3NnI2rjbpNyQ3YDecN9c4FDhQOIw4yDkFOUI5fzm8Ofk6Njp0OrI67zstO2s7qjvoPCc8ZTykPOM9Ij1hPaE94D4gPmA+oD7gPyE/YT+iP+JAI0BkQKZA50EpQWpBrEHuQjBCckK1QvdDOkN9Q8BEA0RHRIpEzkUSRVVFmkXeRiJGZ0arRvBHNUd7R8BIBUhLSJFI10kdSWNJqUnwSjdKfUrESwxLU0uaS+JMKkxyTLpNAk1KTZNN3E4lTm5Ot08AT0lPk0/dUCdQcVC7UQZRUFGbUeZSMVJ8UsdTE1NfU6pT9lRCVI9U21UoVXVVwlYPVlxWqVb3V0RXklfgWC9YfVjLWRpZaVm4WgdaVlqmWvVbRVuVW+VcNVyGXNZdJ114XcleGl5sXr1fD19hX7NgBWBXYKpg/GFPYaJh9WJJYpxi8GNDY5dj62RAZJRk6WU9ZZJl52Y9ZpJm6Gc9Z5Nn6Wg/aJZo7GlDaZpp8WpIap9q92tPa6dr/2xXbK9tCG1gbbluEm5rbsRvHm94b9FwK3CGcOBxOnGVcfByS3KmcwFzXXO4dBR0cHTMdSh1hXXhdj52m3b4d1Z3s3gReG54zHkqeYl553pGeqV7BHtje8J8IXyBfOF9QX2hfgF+Yn7CfyN/hH/lgEeAqIEKgWuBzYIwgpKC9INXg7qEHYSAhOOFR4Wrhg6GcobXhzuHn4gEiGmIzokziZmJ/opkisqLMIuWi/yMY4zKjTGNmI3/jmaOzo82j56QBpBukNaRP5GokhGSepLjk02TtpQglIqU9JVflcmWNJaflwqXdZfgmEyYuJkkmZCZ/JpomtWbQpuvnByciZz3nWSd0p5Anq6fHZ+Ln/qgaaDYoUehtqImopajBqN2o+akVqTHpTilqaYapoum/adup+CoUqjEqTepqaocqo+rAqt1q+msXKzQrUStuK4trqGvFq+LsACwdbDqsWCx1rJLssKzOLOutCW0nLUTtYq2AbZ5tvC3aLfguFm40blKucK6O7q1uy67p7whvJu9Fb2Pvgq+hL7/v3q/9cBwwOzBZ8Hjwl/C28NYw9TEUcTOxUvFyMZGxsPHQce/yD3IvMk6ybnKOMq3yzbLtsw1zLXNNc21zjbOts83z7jQOdC60TzRvtI/0sHTRNPG1EnUy9VO1dHWVdbY11zX4Nhk2OjZbNnx2nba+9uA3AXcit0Q3ZbeHN6i3ynfr+A24L3hROHM4lPi2+Nj4+vkc+T85YTmDeaW5x/nqegy6LzpRunQ6lvq5etw6/vshu0R7ZzuKO6070DvzPBY8OXxcvH/8ozzGfOn9DT0wvVQ9d72bfb794r4Gfio+Tj5x/pX+uf7d/wH/Jj9Kf26/kv+3P9t////2wBDAAMCAgICAgMCAgIDAwMDBAYEBAQEBAgGBgUGCQgKCgkICQkKDA8MCgsOCwkJDRENDg8QEBEQCgwSExIQEw8QEBD/2wBDAQMDAwQDBAgEBAgQCwkLEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBD/wAARCAQAAtQDASIAAhEBAxEB/8QAHQABAAMBAAMBAQAAAAAAAAAAAAYHCAUBBAkDAv/EAGEQAAEDAwIDBAIMCAkHCAoBBQABAgMEBQYHEQgSIRMxQVEiYRQXMjdXcXWBkZOz1BU2QlJydKGxFhgjM2JzgrK0JDWSlcHD0iU0OEVTlNHTJ0NEVFZjZaKj8OEoVWSDwv/EABgBAQEBAQEAAAAAAAAAAAAAAAABAgME/8QAJREBAQACAgICAgIDAQAAAAAAAAECERIhAzEyQRMiM1FCQ2Ej/9oADAMBAAIRAxEAPwD8gAeIAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAr7XrL77gml10ybG6llPcKaSnZFI+JsiNR8rWu9F26dyqJN3QsDdPMGVsQbxb6iY5SZbZtQqGGhr0esKSSQwu2a9Wru1sS7dWqflfdSeJ3RWopq7P2Ul8tE0iR9q9kT4nr38iTRI10blRF25k8O5dlOn4/+jV4ODg2ZWnP8Ut2W2XnSluEau7N+3PE9FVr43beLXIqevv8TvHPWvYAAAAAAAAAAAAAAAAAAAAUHX68ZJpxqxdMe1bpkpsbqEX8EVlHRryNYjt2SKvV0m7V5XbKqtcndsWY3L0L8BQV84g7jm2XWLENCGuuMslQklzramhd7HZB3Kio/ZyNRN3K70eqNRN9y/V23Xbu8BcdewAKx1li1ykntPtO1FNFGjJvwh2y06bu3b2e3ap5c3cJN3Qs3dPMbp5mWcju3GPilirskvV2oIqG3RdtO9iUL3NZuibo1G7r1VD08Kyzi61BsTcjxi80M9C+V8KPkjoo152bcycrmovib/HfexrMFO6SwcR0eUvdqvVUclk9iSo1Ilpebt928n80nN3c3qLiMWaAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAqTiq94+9/19H9u0tsqTiq94++f19H9uw1h8oPc4Z/eQxn9Co/xEhxeK/K8ftGltdjdwqIXXO8vhbR0qqiybMla90qp3o1Eaqb+KuRE8SrdKdI9Zsm08tV4xfWCWzWupbKtPQtnqGJFtK5FT0OibuRV6eZy77prqvojdl1LvtrsmaQQyMfPWVfaVawrzJs9yP2exd9kR/VEXY6TGct7GguHDGLpimkVnoLxC+CqqXTVzoXps6Jsrt2NVPBeVEVU/pHH1K4inYVlU+D4/p/d7/eKdrHPRu7IlR7Uc1WcjXPemyp12RN9/InOmGo1p1SxGnyq1xugc97oaqme7mdTzt25mKvinVFRfFFTx3Q6t8yXFsRjW5ZFfLbaEnRG9tUzMidKje5E39J22/cm+xz/wAu4KAreKTUrHOzr8u0SqaC2vcjVle6ohVN17ke9it38kXYvnCcysuf4zRZXj8r3Uda1dmyJs+J7V2dG9PBzV6eXcqdFK31K1t0bvuA5JYY83t1ZNWWypihga2V3aS8i9miKrNt+dG7Lv3nO4N3Sv0nqWvcqol5qEZv4bxxb/tNZTeO9aEs1i1zxrSGmhhq6aS5XisYslNQRPRnob7dpI5UXkbumydFVVRdk6KpW8fEHr1LTJeI9CJX2x3po5tPV8ys89/H4+U4OH0lNqVxb36uvUaVNNYZamWCKROZiexlbDCmy+COVHbeaGsN135lcqr579RdYdaEZ01zCpz/AA63ZVV2KWzvr+dPYssnOrUa9WcyLsi7KqLtuiKRHR3W2XVa95DZ5MbjtqWLl2kbVLL228jmdytTl9zv495arPdt/ST95lvg/TfNdQETvXsk/wDzyEkllo0xdbrbrHbKq83erjpaKiidPUTPX0Y2NTdV/wD48V2QgmjWsEOr9PfK6lsjrdT2usZTwK+bnfMx7XORzk2RGrs3uTfv7ysNV8kuWuGbSaSYfVPZjlia+tyC4Q9WyOiRV5EXuVGuTlan5T1Ve5u5/XBJ+LGVfKFL9k8vHWO6Lf1d1EdpbhU2XMtTbi6Kphp0p3TLEju0VU35kRe7byKfp+K7OquCOqpNC7lPDM1HxyRyzua9q9yoqQ7KnrQkXGLVNg0jZTqvWpu9MxP7LJHf7C09N6eSgwDF6Hd7OxtFExW7qmy9izf9qkmpjuwQXQ7XOfWGqvVLPi7bQ60Mheu1UsqvV7nIqKitbttyn66x63S6UXrH7THjkdz/AA5z7yOqli7HlkYzuRq7+638O4rDg5/GrP8A46f7aUcYP45YB8c328RrjOehqNycrlTyVUKuzbXa0YrqPYdNaCgbcrhc6mGCtek3I2hSVyIzfZF5n7LzcvTZNvM6Ot2q1HpVi8tfGjJ71XudBaqVeqyS+L1TxYzdFXzVWt8TK8GHX3ENZdPpMsqp5r7faqjvFwSZd3RyS1LtmL/S2aiu8lVU8CYYb7o2PqDlTsGwu8ZayhSsdaqft0gdJyJJ6TW7c2y7e68ji6a5dQ6y4BTZJecZo44amoni9hTo2qYnZu5eb0296/Efnr97zWX/ACev2rCKcMVyoLNoJTXa61cdLR0dRXzzzSLs2NjZN1cv/wC+okn67Evz3L8N0Sw2pvsdnoaVHOSKloaOFkC1c69zPRTuRN1Vy77InxIvY06y12eYRaMvfQNonXSBZlp2ydokez3N25tk39zv3eJkfVS45DrNaMh1drEqKLGbBNDbbFTOTbtXSStR7l9fL6T1TxVje5ppfh695XEv1J/20hcsdY7vsWIADmIDr37zWX/Jq/aMIrwj+85T/KVZ+9pKte/eay/5NX7RhFeEf3nKf5SrP3tNz4UXQVfrBr1j2lL4LSlDLeL9VtR8Nvhfyoxqrs10jtlVN17moiuX1J1LRa3mc1v5yon0mKcU1Ow21cQOTahaiuqZEiqKlltSKn7ZY5Ek7ONdlVNuWJqoi+CjDHfYsCr4jdbbNSfh6/aHSU9nanO6V0VVHyM81eu6N+NW7FzaYanY/qrjaZBYkkhdFJ2FXSTKiyU8u2/Kqp0VFTqjk708lRUIG/i50Vma6KoqLzJFIiska627o9q9FRU5+qKm6EB4O6qmdmucU9mV/wCCZImTU7XJsqMSdyR7p4LyOU1cdy3WhaWb6/2TT7UluFZLQJBbvwX+EH3FJVc5H8r3NiSLbqrlZyp173IQip4jdXrpA6/YjofWTWHq+OpqIqiR8kf527ERvd5IqetSO622WgyPinxax3SPtKSsitsc8fg9nO9VavqXbb5zV7URqNRiIxGoiNRvRGoncibdyIS8cZLoVPoxxB2PVmaayz211nvtPGsq0jpO0jmYnunRu2Rd08Wq