Коли ви використовуєте відладчик граматики, він дозволяє точно бачити, як двигун розбирає рядок - збої є нормальними та очікуваними. Вважається, наприклад, збігом a+b*
з рядком aab
. У вас повинно вийти два матчі за 'a', з подальшим невдачею (тому що b
це не так a
), але тоді він повториться b
і успішно буде відповідати.
Це може бути легше зрозуміти, якщо ви робите чергування з ||
(що виконує наказ). Якщо у вас є
token TOP { I have a <fruit> }
token fruit { apple || orange || kiwi }
і ти розбираєш речення "У мене є ківі", ти побачиш, що спочатку відповідає "Я маю", після чого дві помилки з "яблуком" і "апельсином", і нарешті збіг з "ківі".
Тепер давайте розглянемо ваш випадок:
TOP # Trying to match top (need >1 match of score)
| score # Trying to match score (need >1 match of lc/uc)
| | lc # Trying to match lc
| | * MATCH "a" # lc had a successful match! ("a")
| * MATCH "a " # and as a result so did score! ("a ")
| score # Trying to match score again (because <score>+)
| | lc # Trying to match lc
| | * MATCH "b" # lc had a successful match! ("b")
| * MATCH "b " # and as a result so did score! ("b ")
…………… # …so forth and so on until…
| score # Trying to match score again (because <score>+)
| | uc # Trying to match uc
| | * MATCH "G" # uc had a successful match! ("G")
| * MATCH "G\n" # and as a result, so did score! ("G\n")
| score # Trying to match *score* again (because <score>+)
| * FAIL # failed to match score, because no lc/uc.
|
| # <-------------- At this point, the question is, did TOP match?
| # Remember, TOP is <score>+, so we match TOP if there
| # was at least one <score> token that matched, there was so...
|
* MATCH "a b c d e f g\nA B C D E F G\n" # this is the TOP match
Невдача тут нормальна: в якийсь момент у нас вичерпаються <score>
жетони, тому провал неминучий. Коли це станеться, двигун граматики може перейти до того, що відбувається після <score>+
вашої граматики. Оскільки немає нічого, цей збій насправді призводить до збігу всього рядка (тому що TOP
збігається з неявним /^…$/
).
Крім того, ви можете розглянути можливість переписання граматики за допомогою правила, яке автоматично вставляє <.ws> * (якщо тільки для неї важливо не бути єдиного пробілу):
grammar test {
rule TOP { <score>+ }
token score {
[
| <uc>
| <lc>
]+
}
token uc { <[A..G]> }
token lc { <[a..g]> }
}
Крім того, IME, ви можете також захотіти додати протоен-маркер для uc / lc, тому що при наявності у [ <foo> | <bar> ]
вас завжди буде не визначений один з них, що може зробити обробку їх у класі дій трохи дратівливою. Ви можете спробувати:
grammar test {
rule TOP { <score> + }
token score { <letter> + }
proto token letter { * }
token letter:uc { <[A..G]> }
token letter:lc { <[a..g]> }
}
$<letter>
завжди визначатиметься таким чином.