"О некоторых свойствах формальных грамматик"