Title: Formalizacja pojęcia maszyny analogowej