Казуистический вопрос :) Есть ли в алфавите что-то большее.. Всё зависит от того, как представить силуэт - с явным выделением инвариантов, предикатов, с ограничением глубины вложений и т.д.. Если явно выделены состояния, преобразовать силуэт в граф труда не составит - просто следует заменить каждую ветку силуэта переходом графа (см. рис.136,137 на с.224
http://drakon.su/_ …uchshit_rabotu_uma.doc )
Ну а программисты предпочитают граф КА, поскольку есть
http://is.ifmo.ru/progeny/visio2switch/ и другие :)