какая модель компьютера является формальной ?