Граф языка (language graph) — граф типа гамака, узлу (вершине) которого соответствует терминальный символ. Полный маршрут в графе от входной вершины до выходной вершины образует (по соответствию) последовательность символов, являющуюся элементом данного языка. Все множество таких последовательностей образует язык, представленный графом языка. Г.я. — это шестерка <Х, У, Т, б, х0, х1>, где Х — некоторое множество вершин, У — некоторое множество дуг, Т — конечное множество терминальных символов, б — отображение Х на Т, х0 принадлежит Х — входная вершина, х1 принадлежит Х — выходная вершина. В семантическом Г.я. имеются дополнительно М и отображение Х на М, где М — номера вызываемых подпрограмм семантического контроля и преобразования входных сообщений в выходные.
[Словарь понятий по информатике от А до З. (Электронный ресурс). Режим доступа: http:// nsportal.ru›user/415987/page/slovar-kompyuternyh-…/, свободный.]