C语言中的上下文无关文法

Question

我分配了一个程序，用C编写一个程序，该程序使用以下上下文无关的语法显示许多（n <50）个有效的上下文无关的语法字符串：

S -> AA|0
A -> SS|1

我几乎没有关于如何执行此操作的概念，但是在对它们进行越来越多的分析之后，它们都不对。

目前，我正计划制作一个数组，并随机更改[..., S, S, ...]或[..., 1, ...] [..., A, ...] [..., 1, ...]直到只有0和1，然后检查是否已经随机生成了相同的事物。

我仍然不确定这是否是正确的方法，而且我仍然不确切地知道该怎么做或在哪里保留最终用语，因为基本形式将是不同长度的字符数组。 另外，在C中，二维字符数组等于字符串数组吗？

这有任何意义吗，这是正确的方法吗？ 还是我错过了什么？

Answer 1

您可以在每次需要决定某件事时简单地做出随机决定。 例如：

function A():
  if (50% random chance)
    return "1"
  else
    return concat(S(), S())

function S():
  if (50% random chance)
    return "0"
  else
    return concat(A(), A())

多次调用S()给我这些输出：

"0"
"00110110100100101111010111111111001111101011100100011000000110101110000110101110
 10001000110001111100011000101011000001101111000110110011101010111111111011010011
 10000000101111100100011011010000000101000111110010001000101001100110100111111111
 1001010011"
"11"
"10010010101111010111101"

语法的所有有效字符串。 请注意，您可能需要调整一些随机机会。 该样本极有可能生成非常小的字符串，如"11" 。

Answer 2

尝试将无上下文语法视为一组规则，使您可以使用某种语言生成新的字符串。 例如，第一个规则：

S -> AA | 0

您如何用这种语言生成单词S？ 一种方法是使用随机生成字符串“ 0”或两个串联的A字的函数。

同样，要实施第二条规则：

A -> SS | 1

编写一个函数，该函数随机生成“ 1”或两个串联的S字。

Answer 3

你问了几个问题...
关于问题： C中的BTW，二维字符数组等于字符串数组吗？

是。

以下是声明字符串数组的方法，每个示例在用法方面都显示出不同的灵活性：

char **ArrayOfStrings;  //most flexible declaration - 
                        //pointer to pointer, can use `calloc()` or `malloc()` to create memory for
                        //any number of strings of any length (all strings will have same length) 

要么

char *ArrayOfStrings[10]; //somewhat flexible - 
                          //pointer to array of 10 strings, again can use  `c(m)alloc()` to allocate memory for 
                          //each string to have any lenth (all strings will have same length)

要么

ArrayOfStrings[5][10]; //Not flexible - (but still very useful)
                       //2 dimensional array of 5 strings, each with space for up to 9 chars + '\0' 
                       //Note:  In C, by definition, strings must always be NULL terminated.

注意：尽管这些形式中的每一个都是有效的，并且在正确使用时非常有用，但最好注意每种形式在实践中的行为会有差异 。 （请阅读链接以获取有关此内容的精彩讨论）