Алексей Молчанов

Системное программное обеспечение. Лабораторный практикум


Скачать книгу

о том, выполнять ли на каждом шаге работы МП-автомата выброс или подбор альтернативы, принимается однозначно. Моделирующий алгоритм должен обеспечивать выбор одной из возможных альтернатив и хранение информации о том, какие альтернативы на каком шаге уже были выбраны, чтобы иметь возможность вернуться к этому шагу и подобрать другие альтернативы.

      Распознаватель с подбором альтернатив является нисходящим распознавателем: он читает входную цепочку символов слева направо и строит левосторонний вывод. Название «нисходящий» дано ему потому, что дерево вывода в этом случае следует строить сверху вниз, от корня к концевым вершинам («листьям»).[3]

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

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

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

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

      Примечания

      1

      Молчанов А. Ю. Системное программное обеспечение: Учебник для вузов. – СПб.: Питер, 2003. – 396 с.

      2

      Программные модули, реализующие таблицы символов, построены таким образом, что в зависимости от условий компиляции они могут либо различать, либо не различать прописные и строчные буквы. Условие компиляции реализовано через макрокоманды компилятора Delphi 5 в функции Upper в модуле TblElem (листинг П3.1, приложение 3). О принципах, на основе которых выполняются макрокоманды и условная компиляция, можно подробно узнать в [7, 13, 23, 25, 28, 32].

      3

      В отличие от обычных деревьев, корень у синтаксического дерева вывода находится вверху, а листья – внизу.

iVBORw0KGgoAAAANSUhEUgAAARMAAAAdCAMAAAC+CnhOAAAAwFBMVEUEAgT8+vz8/vzk4uTU0tQ0MjS0srQMCgzs6uyEgoQEBgT09vQsLizs7uwkIiQ8OjxMSkwcGhxcWlwsKixEQkRsamykoqRkYmScmpx0cnTc2tysqqy8urx8enz08vTEwsRERkTExsSkpqRkZmTk5uQUFhRUVlTU1tQ0NjR0dnSMiowMDgyMjoxMTkzMzswUEhSsrqxsbmzMyswcHhzc3tw8Pjy8vrx8fnxUUlSEhoSUkpSUlpRcXly0trQkJiScnpwwAAu8AAAACXBIWXMAAAsTAAALEwEAmpwYAAAHAklEQVR4Xu1Z13LjOBAcgDkr55xzznL4/786BIIUIVuWtnxX97Cj3SIEAkSzp6eBkgHL8Tf+C07Mgor/1WhU/w+coF3Fk7qc7wCvt/CnmJ1nBl0Gy/kzANFX4GoLxG/JnKw1LZcZkf97Tcs/gUJv5crHjGvdrIqOJXo5a9qI9x5ymtaqctCwejrjc01b86Y10rQg/wQrvTVcvgBYTwJ08jq9jDVtj/iYPcFaNDs5ssSbfsdJP6hhrIGOnYtt/Yz7ZBToVRmlD9GKqRlv1AAmvLWAD5O3Sq/opAuw46065PEq6P08JQ8ViVijIwM0RyGGAsCVtw7gpuoYBySZaD6ROFFziEyy7QZpp5o/ls1evKLnG+2QklxR3G7B1uEoQJB/hRV+Ono2hEK59AkgKyuXgJeRp/j+twCnIUAzexa3Ncjyxg6ahXeMMxYd+TFJcvJOedBhRL8fGz+BPsM+kij4/P2L/Qj5CKDAGpUtwn+gE9WAKdeXVaYv6OaQ5NhpacYOuonvFuREcxUCRDk3ekoWwmS1Xf6dJaxmV+89dg3jpzB70/gN0ZbrsAoRy71BCzRO2Br/oBN0DGr3jjkxwqdl2tKzefS20owrVCWAugzwHCMYFkchZ58Wq6CQrf2yJ3HC7eSZKIAdS6nIxOVsbVP0VGc1AFbF9Xcs6WRztMpVjsC8luvnScEtYDkyShfSDlMcG4rS06SlmDInJ9usHIurbwAGdIqRRhGY0gpgwWyIcu7tVTGtK3Pi2baH5SgPTqfB4MQ+KPLAj5uksvVLsVhxXsUapJixNJI6Qd2sihtv7o5qelpHuDYtf+VWeMirTxnwnjeoP+QELUezi/IG7YiGbHxzBjbhdwzFG87xFjJMGYjuRhVBANiKxIlOFS/HQddX5MP+ib6UIIALG4bk4Teocwh3AFRquzipE4tlB2U1h+SN8XqEz3s7Iejn4DLF8Z5PiIxpSOF89hmeSDxt6Dcp/qtAcA8wfbPQnmWSJMacEzQz8piQFRcmEidjKOOnIsdVIDwMSO5t6MR2woq4S/is44ROvKWLORE6mZbhgDP3dlIlU1n1dUNRNyHaagsZEicjQ4Pd5Q8sUfnaoiOAVoITlQqvLToqbxg3ljSJVUJBOT8uF0thCUJK4iT4yk5a/tYnsaUXJLQH7q25gIIXANw6RHInYPSwRfu6bkXo5D0kQIc3vOGpvH6RhwEV8Ii+VoDEtgKrR/tOMEUYHY0SUUz2yACOEgBNvIpZxSWqmDpMPbzeYKd0JZ+h2GREUUJkJya+C0TDQSzirZhgEDEGn6W1GdkJrY/GFI7MThwDSkIns7DA2pSPok3GNdy0crcitURafUNhJ1gBKDzwE9MOVuNUfccUk5UBlmFLcwJRpWUoO4oNF2oniRhDOslJDVz8XFQANnGO6PlqAxBtqZrDkfR7TAn6sSF0UoJ1zAkef9St1LqH5dgwMSEf3jqXmJPqA05WkG9uLX5nfKCmA7CIAVIpVmOdoGzow1tlLm8oMidjgvjJmMdDh2CQ/Hgx6KHG5W7DqY6TfnIIa6dKp49TDleeHEfucxMwUovIQ0GVzifywT5v37KbgnIS4CJmqUm9hvUMJvIhAHJJToLnj5q7pVGJHsMSpIEluD6JG5HFCJ2g9JazT/2z76/Ezu+UCseo2pFP3Zq54BJFltBHD3Ty4dO6fMfvtwB3wp3gzHbrqPq6RcEbtHEyRnBMcOLZ0MPPRnPpmmE21/wqHFuZhpxswG5IOsEFRpPXP9H2EiC973YcQl8NL9IN+Ug6hlN8wM4nLaeSLOUuO+u2rS8AnkOAXSHtoV0UXjGVdOrYdNdW3BbnpFeaAxwL+NlQBv5M3enzj06YuaXhsIxmwbb4UrlRvFg1A116fL361d4myDSIDMpBuRj0AVwF+2RdnycZlQ1wOSmKfRHzfXv4AAtjcWcsT84twBMBWNFTfkcQ98EF68P0HBpfCidDhxTjCnqME09dqOqC0+/VVofqAf3ESsc6XtrRqBk/E1XIY0L8Gz3Oq0ofz7hbzUpslX3aZAmnEughjPtNPpIOVMJ6E/I/PHY6RUV0UAE9BJjnO+Mwek18qMk2aVCMiJ6P4G6RT5Te4dcC5bLoheG96NybCpjjpZ3vB7eyjV/4cTLbwo9jAZPvf3scDtFWwS+G92G9MNo0hJsNMpTR1gN/L/Qr+Bei0n9sDU5QxN9zoiPkv8wJVjT9hdFr3+MVlqZ7pFX6fuQmu8C/Emp28+h2/g094ITwue3hl8PLvEAKmu0vm4W+Pi3ogg8mNucK/qVQ5g9IWU8e/W5vvhNO/gjIS5OQWtObJm21CVS1+Z3zIPxrgXrPYgeZzWuztvxs4P8qhmljOZ2q/+e/eRXoQcLMD//+HTAOToZp/uUkEX/jH5RyxVSYuuGcAAAAAElFTkSuQmCCiVBORw0KGgoAAAANSUhEUgAAAZAAAAGsCAMAAADE2QEoAAAAwFBMVEUEAgT8/vz8+vwkIiQUEhTU0tQ0MjT08vTs6uwcGhzc2tw8OjwUFhT09vSEgoTk4uQsKix8enxEQkR0cnSMiowcHhxcWlxMSkykoqSsqqxkYmRUUlRsamy8urzMyszEwsSEhoRERkQkJiSkpqRkZmTk5uSUlpRUVlTU1tQ0NjR0dnSUkpQMDgyMjozMzswsLixsbmzs7uycmpxcXlzc3tw8Pjy8vrx8fny0srRMTkycnpysrqy0trQMCgwEBgTExsQGsC3nAAAACXBIWXMAAAsTAAALEwEAmpwYAAA0x0lEQVR4Xu3d53bi2NpoYc2lnMk555wzDvd/V2e3wVUOoK9hYwz78PiHR3fVGGWNySuQLC1J3JQHiWAPjyD1VK6sDTV7Ghvwo9y8l9X+Ixve6o8gx6RsczopWpZVqEaHctjgp6gZZV5atSzLeoollezrI8gh21D5SfBHa+SEXX7CLBuPfYitTypl9RHkKz0bWvBZPSO/cnkTJya+/S/vEeQzS84Jvtk6KS4tF7L4xrfX+iPIB6qzOdJpw2VlyjoHiKnmPoL8YVQmHDaTt1xSLik4bJp9BHkn5mGOGSgWl5OqjDlC2N4jyF43wnFdm4vxHZWjjP0fPoKMzRYB2ikuZRomQCPyCPImPCJIvsKFWIpOkNDiEQTAtAikPXEZ0TCBJtlHEODJJlg3w2U4FoF0RX8EgVyfP