Tag: 计算理论

基于constexpr的计算图灵完成？

我们知道C ++模板元编程是图灵完备的 ，但是预处理元编程不是 。 C ++ 11为我们提供了一种新的元编程forms：计算constexpr函数。 这种计算forms是否是图灵完成的？ 我在想，因为recursion和条件运算符（？:)在constexpr函数中是允许的，但是我希望有更多专业知识的人来确认。

是* b *常规？

我知道n> 0对于n> 0是不规则的泵浦引理，但我会想象a*b*是规则的，因为a，b不必是相同的长度。 有没有证据certificate它是正常的？

左线性和右线性语法

我需要帮助为下面的语言构build左线性和右线性语法？ a) (0+1)*00(0+1)* b) 0*(1(0+1))* c) (((01+10)*11)*00)* 对于a）我有以下几点： Left-linear S –> B00 | S11 B –> B0|B1|011 Right-linear S –> 00B | 11S B –> 0B|1B|0|1 它是否正确？ 我需要帮助与b＆c。