гипотетически - могут быть с автоматами. ИМХО - для моделирования вполне достаточно )