ściśle określony system znaków z właściwymi mu regułami ich komponowania i interpretowania; język formalny jest kluczowym pojęciem w informatyce, logice matematycznej i językoznawstwie.

zestaw rozkazów procesora, w którym zapis programu wyrażony jest w postaci liczb binarnych stanowiących rozkazy oraz ich argumenty.

rodzaj języka, systemu znaków, służącego do opisywania w sposób formalny reguł, wzorów itp., także innych języków.

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.

odmiana języka programowania.

brak danych