Ну, мне нужна помощь, я работаю с языками и бесплатными контекстными грамматиками, и мне нужно знать, есть ли алгоритм или программа, которая помогает разрешить проблему членства, это означает, что предоставление строки " w "и FCG G, решите, есть ли строка на языке, а если нет.Программа для разрешения членства в FCG
Я ищу библиотеку или программу, которая может это сделать для последующего преобразования строки в автоматы.
Прежде всего, я видел только такие грамматики, которые называются контекстно-свободными грамматиками, а не свободными контекстными грамматиками. Кроме того, автоматом является множественное число автоматов. Последнее утверждение о преобразовании строки в автомат не имеет смысла. Существует соответствие между контекстно-свободными грамматиками и автоматами отталкивания, но не между строками и автоматами. Учитывая контекстно-свободную грамматику, самый простой алгоритм, который может быть не самым эффективным, для принятия решения о том, является ли строка частью языка грамматики, заключался бы в том, чтобы применять все возможные произведения в грамматике к любой возможной нетерминальной строке, которая может быть получена из стартового нетерминального. Создайте каждую возможную строку, длина которой меньше или равна указанной строке. Если строка не существует, то она не является членом языка грамматики.