Referat.me

Название: Парсер на РНР - это возможно

Вид работы: статья

Рубрика: Информатика

Размер файла: 25.42 Kb

Скачать файл: referat.me-132202.docx

Краткое описание работы: Парсер на РНР - это возможно! Антон Калмыков В данной коротенькой статье я хочу продемонстрировать, что РНР может очень хорошо справляться с функцией синтаксического разбора выражений. Для тех, кто никогда не касался данной тематики, я думаю, статья будет так же интересна, поскольку в ней мы рассмотрим метод программирования в виде конечных автоматов.

Парсер на РНР - это возможно

Парсер на РНР - это возможно!

Антон Калмыков

В данной коротенькой статье я хочу продемонстрировать, что РНР может очень хорошо справляться с функцией синтаксического разбора выражений. Для тех, кто никогда не касался данной тематики, я думаю, статья будет так же интересна, поскольку в ней мы рассмотрим метод программирования в виде конечных автоматов.

Начну с утверждения, что метод программирования с применением конечных автоматов очень прост, поскольку большая часть программы содержится внутри автомата, который вы готовите заранее в виде матрицы и используете в своей программе.

Что же такое автомат?

Представьте себе дискретную функцию от двух аргументов Ft(d, Ft-1). В качестве первого аргумента мы используем конечное счетное множество (массив данных), которое поступает извне. На каждом шаге в функцию поступает только одно число из данного массива. Вторым аргументом функции является значение функции на предыдущем шаге. Добавлю еще одно условие. Область значений данной функции представляет собой конечное счетное множество.

В чем прелесть такой функции? Вся прелесть заключается в том, то мы можем представить ее в виде матрицы, где номера строк будут задавать поступающие данные, а номера столбцов будут представлять область значений функции. Тогда, записав в ячейку (строка, столбец) число из множества значений функции, мы получим матрицу, которая описывает зависимость функции от входных данных и всего спектра значений. Будем называть число из множества значений СОСТОЯНИЕМ, а функцию АВТОМАТОМ.

Если вы не поняли предыдущего абзаца, то не пугайтесь, на практике все выглядит гораздо проще. Давайте рассмотрим простой пример. Допустим, нам надо построить разбор обычного арифметического выражения. Для этого нам придется создать два автомата. Первый будет выделять "слова" из буфера данных (т.е. сканировать его). Второй будет проверять грамматический порядок следования слов в выражении.

Начнем со сканера. Словами являются знаки операций +, -, *, / и последовательности символов, если они не содержат разделителей, такие как перевод строки, пробел и символ табуляции. Разделители мы будем просто игнорировать. Автомат для сканера, в этом случае, будет следующим.

// состояния 0, 1, 2

"0" => array( 0, -1, -1),//разделитель

"1" => array( 2, -1, -1),//слово из одного символа

"2" => array( 1, 1, -1),//символ

Номера строк задают тип символа, поскольку нам надо выделить знаки операций в отдельные слова. Состояния (номера столбцов) будут означать следующее.

-1 слово готово, пора возвращать

0 начало сканирования

1 получили символ, надо копить пока это символ

2 получили предопределенное слово из одного символа

в состоянии 1 мы будем копить символы, чтобы вернуть их как слово в состоянии -1. Наш сканер будет вызываться из парсера и завершать свою работу, когда он распознает хотя бы одно "слово", поэтому нет смысла вводить состояние -1 в таблицу автомата. Для парсера автомат будет такой.

// состояния 0, 1, 2, 3, 4, 5

"0" => array( 1, -1, 1, 1, 1, 1), // оператор

"1" => array( 2, 4, -1, 2, -1, -1), // операнд

"2" => array( 3, 3, -1, 3, -1, -1), // левая скобка

"3" => array(-1, -1, 5, -1, 5, 5), // правая скобка

а состояния соответственно

-1 Ошибка

0 Начало разбора

1 Получили оператор, ожидаем правый операнд

или левую скобку

2 Получили левый операнд (надо проверить число ли это),

ждем оператор или правую скобку

3 Получили левую скобку,

ожидаем оператор или левую скобку

4 Получили правый операнд (надо проверить число ли это),

ожидаем оператор или правую скобку

5 Получили правую скобку, ожидаем оператор

Парсер завершит работу, когда сканер вернет FALSE или при возникновении ошибки - состояние -1. По той же причине, что и в сканере мы можем не вносить состояние -1 в таблицу автомата

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

<?php

class ExpressionParser {

var $pos, // Позиция в буфере для разбора

$length, // Длина буфера

$line, // Текущий номер строки

$column, // Текущий номер колонки в строке

$data, // Буфер данных

$brackets, // Количество открытых скобок

$state, // Текущее состояние парсера

$errorstr, // Строка диагностики ошибки

$instates, // Код слова подаваемый на вход автомата

$prevstate, // Предыдущее состояние парсера

$automat; // Таблица автомата парсера

/**********************************************************************

* Конструктор *

**********************************************************************/

function ExpressionParser($str) {

$this->data=$str;

$this->length=strlen($str);

$this->pos=0;

$this->line=1;

$this->column=0;

$this->brackets=0;

// Коды слов, выданных сканером, подаваемых на вход парсера

// Остальные слова имеют код 1

$this->instates = array("+" => 0, "*" => 0, "-" => 0, "/" => 0, "(" => 2, ")" => 3);

// Автоматпарсера

$this->automat=array(

/*

-1 Ошибка

0 Начало разбора

1 Получили оператор, ожидаем правый операнд или левую скобку

2 Получили левый операнд (надо проверить число ли это), ждем оператор или правую скобку

3 Получили левую скобку, ожидаем оператор или левую скобку

4 Получили правый операнд (надо проверить на число), ожидаем оператор или правую скобку

5 Получили правую скобку, ожидаем оператор

*/

//состояния 0, 1, 2, 3, 4, 5

"0"=>array( 1, -1, 1, 1, 1, 1),//оператор

"1"=>array( 2, 4, -1, 2, -1, -1),//операнд

"2"=>array( 3, 3, -1, 3, -1, -1),//левая скобка

"3"=>array(-1, -1, 5, -1, 5, 5),//праваяскобка

);

$this->state=$this->prevstate=0;

}

/**********************************************************************

* Сканер *

**********************************************************************/

function Scan() {

// Разделители, которые игнорируем

$delimiters=array(" ","t","r","n");

// Слова из одного символа

$words=array("+","-","*","/","(",")");

// автомат сканнера

$automat=array(

/*

-1 слово готово, пора возвращать

0 начало сканирования

1 получили символ, надо копить пока это символ

2 получили предопределенное слово из одного символа

*/

//состояния 0, 1, 2

"0"=>array( 0, -1, -1),//разделитель

"1"=>array( 2, -1, -1),//слово из одного символа

"2"=>array( 1, 1, -1),//символ

);

$state=0;

$word="";

// Цикл сканирования

while ($this->pos<$this->length) {

// Устанавливаем код подаваемого на вход автомата символа.

if (in_array($this->data[$this->pos],$delimiters))

$instate=0;

elseif (in_array($this->data[$this->pos],$words))

$instate=1;

else

$instate=2;

// Получаем состояние автомата

$state=$automat[$instate][$state];

// Наши действия по состояниям автомата

switch($state) {

case 0: // началосканирования

if ($this->data[$this->pos]=="n") {

$this->line++;

$this->column=0;

}

$word="";

break;

case -1: // слово готово, пора возвращать

if (strlen($word)) return $word;

break;

case 1: // получили символ, надо копить пока это символ

$word.=$this->data[$this->pos];

break;

case 2: // получили предопределенное слово из одного символа

$word=$this->data[$this->pos];

break;

}

$this->pos++;

$this->column++;

if ($this->pos==$this->length && strlen($word)) return $word;

}

return false;

}

/**********************************************************************

* Парсер *

**********************************************************************/

function Parse() {

// Переменная $first равна нулю, если функция разбора была вызвана первый раз

$first=$this->pos;

// Циклсостояний

while(1) {

// Получаем слово от сканнера

$word=$this->Scan();

// Если слов больше нет, то прерываем цикл

if ($word===false) break;

// Устанавливаем код, подаваемого на вход автомата, слова

$instate=isset($this->instates[$word]) ? $this->instates[$word] : 1;

// Получаем состояние автомата парсера

$this->state=$this->automat[$instate][$this->state];

// Если ошибочное состояние, то прерываем цикл

if ($this->state==-1) {

$this->errorstr="Ошибкавстроке: $this->line, колонка: $this->column<br>";

break;

}

// Наши действия по состояниям автомата парсера

switch($this->state) {

case 1: // Получили оператор, ожидаем правый операнд или левую скобку

// Если первое слово оператор, то это может быть только "+" или "-"

if (($this->prevstate==3 || $this->prevstate==0) && $word!="-" && $word!="+") {

$this->errorstr="Ошибкавстроке: $this->line, колонка: $this->column<br>";

return false;

}

break;

case 2: // Получили левый операнд (надо проверить число ли это), ждем оператор

//или правую скобку

// Проверяем число ли это?

if (!preg_match("/^[0-9]+(.[0-9]+)?$/",$word)) {

$this->errorstr="Ошибкавстроке: $this->line, колонка: $this->column<br>";

return false;

}

break;

case 3: // Получили левую скобку, ожидаем оператор или левую скобку

// Увеличиваем кол-во открытых скобок на 1;

$this->brackets++;

// Удобно использовать рекурсию, т.к. данные в скобках

// можно рассматривать как самоcтоятельные выражения.

// Мы вернемся из функции в случае ошибки, конца данных или

// послеполучениязакрытойскобки

if (!$this->Parse()) return false;

break;

case 4: // Получили правый операнд (надо проверить число ли это), ожидаем оператор

//или правую скобку

// Проверяем число ли это?

if (!preg_match("/^[0-9]+(.[0-9]+)?$/",$word)) {

$this->errorstr="Ошибкавстроке: $this->line, колонка: $this->column<br>";

return false;

}

break;

case 5: // Получили правую скобку, ожидаем оператор

// Уменьшаем кол-во открытых скобок на 1

$this->brackets--;

return true;

} // end switch

// Запоминаем текущее состояние для следующего шага цикла

$this->prevstate=$this->state;

} // end while

// Так как у нас отсутствует состояние конца разбора, то надо

// Проверить в каком состоянии мы завершили разбор

// Это надо делать только один раз в самом первом вызове

// функции разбора. Это первый вызов, если $first==0

// Итак, мы должны вернуть ошибку, если у нас есть лишние скобки,

// или если мы не получили правого операнда или правой скобки,

// т.е. разбор завершился "на середине".

if (!$first && ($this->brackets || $this->state!=4 && $this->state!=5)) return false;

return true;

}

}

$p=new ExpressionParser("-4.25*((2+3)*4+1)/5");

print $p->data."<br>";

if ($p->Parse())

print "Выражениекорректно.<br>";

else

print $p->errorstr;

?>

Похожие работы

  • Виртуальный мир

    Введение: Тема заинтересовала меня тем, что сейчас интернет и игры очень популярны. Она интересна мне и хочу узнать, что такое виртуальный мир. Какой есть интернет, лучшие компьютерные игры. Я вижу проблемы в теме как влияет виртуальный мир на человека, вредность виртуального мира.

  • Тесты производительности Windows XP против Win 2000, NT4, 98 и ME

    Тесты производительности Windows XP против Win 2000, NT4, 98 и ME Учитывая большой интерес читателей к особенностям Windows XP, мы решили сравнить полную производительность Windows XP с предыдущими версиями Windows. Эта статья будет интересна и тем, кто только собирается установить новую операционную систему, так и тем, кто уже является опытным пользователем XP.

  • Построение отдельных фаз компиляции

    № докум. Изм. Лист Лист Подпись Дата Введение Компилятор – программный модуль, задачей которого является перевод программы, написанной на одном из языков программирования (исходный язык) в программу на язык ассемблера или язык машинных команд.

  • Возможности языка JavaScript

    СЛАВЯНСКИЙ-НА-КУБАНИ ГОСУДАРСТВЕННЫЙ ПЕДАГОГИЧЕСКИЙ ИНСТИТУТ КАФЕДРА МАТЕМАТИКИ И ИНФОРМАТИКИ КУРСОВАЯ РАБОТА по дисциплине “Информатика” на тему “Возможности языка

  • Трансляция распознающих конечных автоматов

    Лабораторная работа №7 Трансляция распознающих конечных автоматов Цель работы: исследование методов эффективной трансляции распознающих автоматов конечных автоматов и R-графов для синтаксического разбора регулярных грамматик.

  • Циклические коды понятие и сущность

    Задание Рассматривается циклический код (7,4) для исправления однократной ошибки. Заданы: а(х) – информационная часть передаваемой кодовой комбинации,

  • Синтаксический разбор строк и конечные автоматы

    Синтаксический разбор строк и конечные автоматы Андрей Боровский В этой статье речь пойдет о том, как анализировать информацию, переданную в виде последовательности символов (строку) и выделять из нее значимые элементы. Мы рассмотрим сравнительно простые ситуации, с которыми программистам приходится сталкиваться при решении самых разных задач: разбор выражений с простой синтаксической структурой, но с довольно свободными правилами записи.

  • Семантический анализатор

    Место компилятора в программном обеспечении. Принципы работы и автоматизация построения синтаксического анализатора. Дерево разбора и его преобразование в дерево операций. Назначение и этапы семантического анализа. Идентификация языков программирования.

  • Деловые игры 2

    Отдел образования администрации Центрального района Муниципальное общеобразовательное учреждение Экономический лицей Центрального района Секция Информатика и ИКТ

  • Синтез операционных автоматов

    Министерство образования Российской Федерации Саратовский государственный технический университет Синтез операционных автоматов лабораторная работа по курсу “Организация ЭВМ и систем”