język sformalizowany 1
noundomain: communicationregister: specj.
Słowosieć [ver.5.0]
Definition
w logice, język spełniający określone postulaty efektywności, odwołujący się wyłącznie do formy, rozumiany jako dowolny niepusty zbiór skończonych ciągów.


