Описание языка
Нужно описать язык L2. цепочки языка L2 - это почти все цепочки языка L1.
т.е не все цепочки языка L2 являються цепочками языка L1 (наоборот верно).
L2 это подмножество языка L1.
Как его можно описать математически? используя теория предикатов?
или как-то еще?
Цитата:
Originally posted by oracle_dvlp
Есть язык L1 ( язык программирования).
Нужно описать язык L2. цепочки языка L2 - это почти все цепочки языка L1.
т.е не все цепочки языка L2 являються цепочками языка L1 (наоборот верно).
L2 это подмножество языка L1.
Как его можно описать математически? используя теория предикатов?
или как-то еще?
Есть язык L1 ( язык программирования).
Нужно описать язык L2. цепочки языка L2 - это почти все цепочки языка L1.
т.е не все цепочки языка L2 являються цепочками языка L1 (наоборот верно).
L2 это подмножество языка L1.
Как его можно описать математически? используя теория предикатов?
или как-то еще?
Уточни.
1)С помощью грамматики его порождающей.
Пусть L1 - язык программирования Oracle PL/SQL. Грамматика этого языка
G1 описываеться следующей четверкой G1 = (N, T, P, S), где
N - {"INTEGER","CHAR","BEGIN","END","SELECT","UPDATE","DELETE", ...}
T - {"ПЕРЕМЕННАЯ","ТАБЛИЦА","ЗАПРОС","ОПЕРАТОР УДАЛЕНИЯ","ЦИКЛ","ФУНКЦИЯ",.....}
S - пустой символ,
Р - А как можно множество правил задать????:
Може и так - Переменная -> TableName varchar2(30); А может как то иначе.
2) С помощью предикатов как описать вообще не представляю.
Задача потом будет. Описать ограничения этого языка. т.е PL/SQL с ограниченными возможностями. Типа нету таких-то типов, Таких-то операторов. А такие-то операторы иначе должны определяться.