У меня есть следующее составное дерево, и я не понимаю, как найти контекстно-свободную грамматику, поскольку я не привык к этим обозначениям As и B.
S
/ \
A A
/ \ |
A B a
/ \ |
A B b
| |
a b
Я подумал о следующем CFG :
S -> AA
A -> AB
A -> a
B -> b
Имеет ли это смысл?