Играл с L-системами , вдохновленными этим . И заметил, что это L-системы:
A ~~> B
B ~~> AB
дает мне длину слова Фибоначчи. По крайней мере, ручное моделирование показало:
Word Length
A 1
B 1
AB 2
BAB 3
ABBAB 5
BABABBAB 8
ABBABBABABBAB 13
Могу ли я использовать DCG для реализации L-системы и автоматически генерировать вышеупомянутое через Prolog?