Фано шарты:біркелкі емес код біркелкі декодталады, егер кодтардың еш қайсысы басқа ұзақ кодтың басталуымен сәйкес болмаса.
Файл – ақапараттарды сақтау жүйесінде сипатталатын және бір ортақ болып қарастырылатын, физикалық жазылымдардың анықталған түрде безендірілу жиынтығы.
Формальді грамматика –формальді алфавиттің ақырлы символдарының кезектескен жиынтығын сипаттайтын ережелер жүйесі.
Формальді орындаушы – алгоритм бұйрықтарын талдай алатын және қабылдай алатын субъект немесе құрылғы, соларға байланысты өзінің күйін өзгертетін және ақпараттың қадамдық өңделуін орындайтын механизмін қамтитын құрылғы.
Формальді жүйе –көптеген бар объектілер арқылы және жаңа компоненттерді құру ережелері арқылы дискретті компоненттер жиынтығын беретін математикалық модель.
