definicja ze względu na zadania

Omów rodzaje definicji ze względu na zadania.

Definicje, ze względu na realizowane przez nie zadania, dzielą się na definicje sprawozdawcze i definicje projektujące.

-

Definicją sprawozdawczą danego wyrażenia dla określonego, zastanego języka jest taka definicja, która informuje o znaczeniu, jakie definiowane wyrażenie ma już w tym języku.

-

Definicje sprawozdawcze nazywa się też definicjami analitycznymi.

-

W odróżnieniu od definicji sprawozdawczych informujących o zastanych, dotychczasowych znaczeniach wyrażeń, definicje projektujące informują o projektowanych dopiero znaczeniach wyrażeń.

-

Definicją projektującą danego wyrażenia dla określonego, budowanego właśnie języka jest taka definicja, która informuje o znaczeniu, jakie definiowane wyrażenie będzie mieć w tym języku.

-

Definicje projektujące nazywa się też definicjami syntetycznymi.

-

Projektują one znaczenia wyrażeń, a więc wyznaczają znaczenia definiowanych wyrażeń na przyszłość.

-

Nowy, projektowany język powstaje zazwyczaj na bazie jakiegoś już istniejącego języka.

-

Ze względu na stosunek definicji do znaczeń wyrażeń definiowanych w tych już istniejących językach, stanowiących bazy dla języków projektowanych, dzielimy definicje projektujące na definicje konstrukcyjne i definicje regulujące.

-

Definicja konstrukcyjna to taka definicja projektująca danego wyrażenia dla określonego, budowanego właśnie języka, która nie liczy się ze znaczeniem, jakie wyraz definiowany ma ewentualnie- w języku, na bazie którego powstaje budowany język.

-

Definicja regulująca to taka definicja projektująca danego wyrażenia dla określonego, budowanego właśnie języka, która liczy się ze znaczeniem, jakie wyraz definiowany ma w języku, na bazie którego powstaje budowany język.