These constraints reduce to: "(B.1) (Boundedness) There is a fixed bound on the number of symbolic configurations a computor can immediately recognize.
Ова ограничења своде на: "(Б.1) (Коначности) Постоји фиксно ограничење на броју симболичних конфигурација које рачунало може одмах препознати.