我在文本文件“grammar.txt”中有以下上下文无关语法
S ::= a S b
S ::= []
我正在打开这个文件并能够读取 prolog 中的每一行。现在我想标记每一行并生成一个列表,例如
L=[['S','::=','a','S','b'],['S','::=','#']] ('#' represents empty)
我怎样才能做到这一点?
在 DCG 中编写规范。我给你基本的(未经测试的),你需要改进它。
parse_grammar([Rule|Rules]) -->
parse_rule(Rule),
parse_grammar(Rules).
parse_grammar([]) --> [].
parse_rule([NT, '::=' | Body]) -->
parse_symbol(NT),
skip_space,
"::=",
skip_space,
parse_symbols(Body),
skip_space, !. % the cut is required if you use findall/3 (see below)
parse_symbols([S|Rest]) -->
parse_symbol(S),
skip_space,
parse_symbols(Rest).
parse_symbols([]) --> [].
parse_symbol(S) -->
[C], {code_type(C, alpha), atom_codes(S, [C])}.
skip_space -->
[C], {code_type(C, space)}, skip_space.
skip_space --> [].
这使用此顶层解析整个文件:
...,
read_file_to_codes('grammar.txt', Codes),
phrase(parse_grammar(Grammar), Codes, [])).
您说您一次读取文件 1 行:然后使用
...
findall(R, (get_line(L), phrase(parse_rule(R), L, [])), Grammar).
高温高压