« formułowane w kategoriach potrzeb użytkowych
• synteza logiczna - tłumaczenie na język układów logicznych
oparta na intuicji projektanta
słabo zalgorytmizowane
języki wyrażeń regularnych - zbyt formalne,
ukierunkowane pod kątem badań
poznawczych
• minimalizacja formuł boolowskich « ewentualna faktoryzacja wyrażenia
dostosowana do konkretnej realizacji