Describir: Inverzné lineárne automaty a ich využitie