Все верно, пример с CASEом понятен и корректен.
видимо я не совсем правильно поставил вопрос.

Правильно так:
Какие конструкции языка используются для описания КА и почему?

почему нельзя использовать несколько условных операторов, а можно только case?

есть ли библиотеки с некой стандартной реализацией КА?
как например на С?