в программировании: набор атрибутов, определяющих поведение объекта.
в теории автоматов: Понятие "состояние" автомата используют для того, чтобы установить функциональную зависимость генерируемых автоматом символов от символов входного языка при реализации автоматом заданного алгоритма.