int isSentence(char str[], int start, int end, int memoTable[][256]) {
  int len = end - start + 1, k, result;
  if (len == 0)
    return 0;
  if (len == 1) {
    if (str[start] >= 'p' && str[end] <= 'z')
      return 1;
    return 0;
  }
  if (memoTable[start][end] >= 0)
    return memoTable[start][end];
  result = 0;
  if (str[start] == 'N')
    result = isSentence(str, start + 1, end, memoTable);
  else {
    if (str[start] == 'C' || str[start] == 'D' || str[start] == 'E' ||
        str[start] == 'I') {
      for (k = start + 1; k <= end; k++) {
        result = isSentence(str, start + 1, k, memoTable) &&
                 isSentence(str, k + 1, end, memoTable);
        if (result)
          break;
      }
    }
  }
  memoTable[start][end] = result;
  return result;
}


x86 assembly (clang, -O0):
<isSentence>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    -0x18(%rbp),%eax
sub    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x0,-0x24(%rbp)
jne    1148 <isSentence+0x38>
movl   $0x0,-0x4(%rbp)
jmp    130d <isSentence+0x1fd>
cmpl   $0x1,-0x24(%rbp)
jne    1194 <isSentence+0x84>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x70,%eax
jl     1188 <isSentence+0x78>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x7a,%eax
jg     1188 <isSentence+0x78>
movl   $0x1,-0x4(%rbp)
jmp    130d <isSentence+0x1fd>
movl   $0x0,-0x4(%rbp)
jmp    130d <isSentence+0x1fd>
mov    -0x20(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0xa,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jl     11cf <isSentence+0xbf>
mov    -0x20(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0xa,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x4(%rbp)
jmp    130d <isSentence+0x1fd>
movl   $0x0,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x4e,%eax
jne    1209 <isSentence+0xf9>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
add    $0x1,%esi
mov    -0x18(%rbp),%edx
mov    -0x20(%rbp),%rcx
call   1030 <isSentence@plt>
mov    %eax,-0x2c(%rbp)
jmp    12ee <isSentence+0x1de>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x43,%eax
je     125d <isSentence+0x14d>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x44,%eax
je     125d <isSentence+0x14d>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x45,%eax
je     125d <isSentence+0x14d>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x49,%eax
jne    12e9 <isSentence+0x1d9>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x18(%rbp),%eax
jg     12e4 <isSentence+0x1d4>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
add    $0x1,%esi
mov    -0x28(%rbp),%edx
mov    -0x20(%rbp),%rcx
call   1030 <isSentence@plt>
mov    %eax,%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x2d(%rbp)
je     12b7 <isSentence+0x1a7>
mov    -0x10(%rbp),%rdi
mov    -0x28(%rbp),%esi
add    $0x1,%esi
mov    -0x18(%rbp),%edx
mov    -0x20(%rbp),%rcx
call   1030 <isSentence@plt>
cmp    $0x0,%eax
setne  %al
mov    %al,-0x2d(%rbp)
mov    -0x2d(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
je     12d1 <isSentence+0x1c1>
jmp    12e4 <isSentence+0x1d4>
jmp    12d6 <isSentence+0x1c6>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1266 <isSentence+0x156>
jmp    12e9 <isSentence+0x1d9>
jmp    12ee <isSentence+0x1de>
mov    -0x2c(%rbp),%edx
mov    -0x20(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0xa,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<isSentence>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %edx,%eax
sub    %esi,%eax
xor    %r13d,%r13d
cmp    $0xffffffff,%eax
je     1215 <isSentence+0x105>
mov    %edx,%r12d
mov    %esi,%ebx
mov    %rdi,%r14
test   %eax,%eax
jne    1160 <isSentence+0x50>
movslq %ebx,%rax
cmpb   $0x70,(%r14,%rax,1)
jl     1158 <isSentence+0x48>
movslq %r12d,%rax
mov    $0x1,%r13d
cmpb   $0x7b,(%r14,%rax,1)
jl     1215 <isSentence+0x105>
xor    %r13d,%r13d
jmp    1215 <isSentence+0x105>
mov    %rcx,%r15
movslq %ebx,%rax
movslq %r12d,%rcx
mov    %rax,%rdx
shl    $0xa,%rdx
add    %r15,%rdx
mov    (%rdx,%rcx,4),%r13d
test   %r13d,%r13d
jns    1215 <isSentence+0x105>
lea    (%rdx,%rcx,4),%rbp
mov    (%r14,%rax,1),%al
xor    %r13d,%r13d
lea    -0x43(%rax),%ecx
cmp    $0x3,%cl
jb     11b3 <isSentence+0xa3>
cmp    $0x49,%al
je     11b3 <isSentence+0xa3>
cmp    $0x4e,%al
jne    1211 <isSentence+0x101>
add    $0x1,%ebx
mov    %r14,%rdi
mov    %ebx,%esi
mov    %r12d,%edx
mov    %r15,%rcx
call   1030 <isSentence@plt>
mov    %eax,%r13d
jmp    1211 <isSentence+0x101>
cmp    %ebx,%r12d
jle    1211 <isSentence+0x101>
mov    %rbp,0x8(%rsp)
add    $0x1,%ebx
mov    %r12d,%eax
neg    %eax
mov    %rax,0x10(%rsp)
mov    %ebx,%ebp
jmp    11dc <isSentence+0xcc>
xchg   %ax,%ax
mov    0x10(%rsp),%rax
add    %ebp,%eax
cmp    $0x1,%eax
je     120c <isSentence+0xfc>
mov    %r14,%rdi
mov    %ebx,%esi
mov    %ebp,%edx
mov    %r15,%rcx
call   1030 <isSentence@plt>
add    $0x1,%ebp
test   %eax,%eax
je     11d0 <isSentence+0xc0>
mov    %r14,%rdi
mov    %ebp,%esi
mov    %r12d,%edx
mov    %r15,%rcx
call   1030 <isSentence@plt>
test   %eax,%eax
je     11d0 <isSentence+0xc0>
mov    $0x1,%r13d
mov    0x8(%rsp),%rbp
mov    %r13d,0x0(%rbp)
mov    %r13d,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @isSentence(i8* %0, i32 %1, i32 %2, [256 x i32]* %3) {
%5 = alloca i32
%6 = alloca i8*
%7 = alloca i32
%8 = alloca i32
%9 = alloca [256 x i32]*
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
store i8* %0, i8** %6
store i32 %1, i32* %7
store i32 %2, i32* %8
store [256 x i32]* %3, [256 x i32]** %9
%13 = load i32, i32* %8
%14 = load i32, i32* %7
%15 = sub nsw i32 %13, %14
%16 = add nsw i32 %15, 1
store i32 %16, i32* %10
%17 = load i32, i32* %10
%18 = icmp eq i32 %17, 0
br i1 %18, label %19, label %20
19: ; preds = %4
store i32 0, i32* %5
br label %152
20: ; preds = %4
%21 = load i32, i32* %10
%22 = icmp eq i32 %21, 1
br i1 %22, label %23, label %41
23: ; preds = %20
%24 = load i8*, i8** %6
%25 = load i32, i32* %7
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds i8, i8* %24, i64 %26
%28 = load i8, i8* %27
%29 = sext i8 %28 to i32
%30 = icmp sge i32 %29, 112
br i1 %30, label %31, label %40
31: ; preds = %23
%32 = load i8*, i8** %6
%33 = load i32, i32* %8
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds i8, i8* %32, i64 %34
%36 = load i8, i8* %35
%37 = sext i8 %36 to i32
%38 = icmp sle i32 %37, 122
br i1 %38, label %39, label %40
39: ; preds = %31
store i32 1, i32* %5
br label %152
40: ; preds = %31, %23
store i32 0, i32* %5
br label %152
41: ; preds = %20
%42 = load [256 x i32]*, [256 x i32]** %9
%43 = load i32, i32* %7
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds [256 x i32], [256 x i32]* %42, i64 %44
%46 = load i32, i32* %8
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds [256 x i32], [256 x i32]* %45, i64 0, i64 %47
%49 = load i32, i32* %48
%50 = icmp sge i32 %49, 0
br i1 %50, label %51, label %60
51: ; preds = %41
%52 = load [256 x i32]*, [256 x i32]** %9
%53 = load i32, i32* %7
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds [256 x i32], [256 x i32]* %52, i64 %54
%56 = load i32, i32* %8
%57 = sext i32 %56 to i64
%58 = getelementptr inbounds [256 x i32], [256 x i32]* %55, i64 0, i64 %57
%59 = load i32, i32* %58
store i32 %59, i32* %5
br label %152
60: ; preds = %41
store i32 0, i32* %12
%61 = load i8*, i8** %6
%62 = load i32, i32* %7
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds i8, i8* %61, i64 %63
%65 = load i8, i8* %64
%66 = sext i8 %65 to i32
%67 = icmp eq i32 %66, 78
br i1 %67, label %68, label %75
68: ; preds = %60
%69 = load i8*, i8** %6
%70 = load i32, i32* %7
%71 = add nsw i32 %70, 1
%72 = load i32, i32* %8
%73 = load [256 x i32]*, [256 x i32]** %9
%74 = call i32 @isSentence(i8* %69, i32 %71, i32 %72, [256 x i32]* %73)
store i32 %74, i32* %12
br label %142
75: ; preds = %60
%76 = load i8*, i8** %6
%77 = load i32, i32* %7
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds i8, i8* %76, i64 %78
%80 = load i8, i8* %79
%81 = sext i8 %80 to i32
%82 = icmp eq i32 %81, 67
br i1 %82, label %107, label %83
83: ; preds = %75
%84 = load i8*, i8** %6
%85 = load i32, i32* %7
%86 = sext i32 %85 to i64
%87 = getelementptr inbounds i8, i8* %84, i64 %86
%88 = load i8, i8* %87
%89 = sext i8 %88 to i32
%90 = icmp eq i32 %89, 68
br i1 %90, label %107, label %91
91: ; preds = %83
%92 = load i8*, i8** %6
%93 = load i32, i32* %7
%94 = sext i32 %93 to i64
%95 = getelementptr inbounds i8, i8* %92, i64 %94
%96 = load i8, i8* %95
%97 = sext i8 %96 to i32
%98 = icmp eq i32 %97, 69
br i1 %98, label %107, label %99
99: ; preds = %91
%100 = load i8*, i8** %6
%101 = load i32, i32* %7
%102 = sext i32 %101 to i64
%103 = getelementptr inbounds i8, i8* %100, i64 %102
%104 = load i8, i8* %103
%105 = sext i8 %104 to i32
%106 = icmp eq i32 %105, 73
br i1 %106, label %107, label %141
107: ; preds = %99, %91, %83, %75
%108 = load i32, i32* %7
%109 = add nsw i32 %108, 1
store i32 %109, i32* %11
br label %110
110: ; preds = %137, %107
%111 = load i32, i32* %11
%112 = load i32, i32* %8
%113 = icmp sle i32 %111, %112
br i1 %113, label %114, label %140
114: ; preds = %110
%115 = load i8*, i8** %6
%116 = load i32, i32* %7
%117 = add nsw i32 %116, 1
%118 = load i32, i32* %11
%119 = load [256 x i32]*, [256 x i32]** %9
%120 = call i32 @isSentence(i8* %115, i32 %117, i32 %118, [256 x i32]* %119)
%121 = icmp ne i32 %120, 0
br i1 %121, label %122, label %130
122: ; preds = %114
%123 = load i8*, i8** %6
%124 = load i32, i32* %11
%125 = add nsw i32 %124, 1
%126 = load i32, i32* %8
%127 = load [256 x i32]*, [256 x i32]** %9
%128 = call i32 @isSentence(i8* %123, i32 %125, i32 %126, [256 x i32]* %127)
%129 = icmp ne i32 %128, 0
br label %130
130: ; preds = %122, %114
%131 = phi i1 [ false, %114 ], [ %129, %122 ]
%132 = zext i1 %131 to i32
store i32 %132, i32* %12
%133 = load i32, i32* %12
%134 = icmp ne i32 %133, 0
br i1 %134, label %135, label %136
135: ; preds = %130
br label %140
136: ; preds = %130
br label %137
137: ; preds = %136
%138 = load i32, i32* %11
%139 = add nsw i32 %138, 1
store i32 %139, i32* %11
br label %110
140: ; preds = %135, %110
br label %141
141: ; preds = %140, %99
br label %142
142: ; preds = %141, %68
%143 = load i32, i32* %12
%144 = load [256 x i32]*, [256 x i32]** %9
%145 = load i32, i32* %7
%146 = sext i32 %145 to i64
%147 = getelementptr inbounds [256 x i32], [256 x i32]* %144, i64 %146
%148 = load i32, i32* %8
%149 = sext i32 %148 to i64
%150 = getelementptr inbounds [256 x i32], [256 x i32]* %147, i64 0, i64 %149
store i32 %143, i32* %150
%151 = load i32, i32* %12
store i32 %151, i32* %5
br label %152
152: ; preds = %142, %51, %40, %39, %19
%153 = load i32, i32* %5
ret i32 %153
}

LLVM IR (-O2):
define i32 @isSentence(i8* %0, i32 %1, i32 %2, [256 x i32]* %3) {
%5 = sub nsw i32 %2, %1
switch i32 %5, label %17 [
i32 -1, label %44
i32 0, label %6
]
6: ; preds = %4
%7 = sext i32 %1 to i64
%8 = getelementptr inbounds i8, i8* %0, i64 %7
%9 = load i8, i8* %8
%10 = icmp sgt i8 %9, 111
br i1 %10, label %11, label %16
11: ; preds = %6
%12 = sext i32 %2 to i64
%13 = getelementptr inbounds i8, i8* %0, i64 %12
%14 = load i8, i8* %13
%15 = icmp slt i8 %14, 123
br i1 %15, label %44, label %16
16: ; preds = %11, %6
br label %44
17: ; preds = %4
%18 = sext i32 %1 to i64
%19 = sext i32 %2 to i64
%20 = getelementptr inbounds [256 x i32], [256 x i32]* %3, i64 %18, i64 %19
%21 = load i32, i32* %20
%22 = icmp sgt i32 %21, -1
br i1 %22, label %44, label %23
23: ; preds = %17
%24 = getelementptr inbounds i8, i8* %0, i64 %18
%25 = load i8, i8* %24
switch i8 %25, label %42 [
i8 78, label %26
i8 67, label %29
i8 68, label %29
i8 69, label %29
i8 73, label %29
]
26: ; preds = %23
%27 = add nsw i32 %1, 1
%28 = tail call i32 @isSentence(i8* %0, i32 %27, i32 %2, [256 x i32]* %3)
br label %42
29: ; preds = %23, %23, %23, %23
%30 = add nsw i32 %1, 1
%31 = icmp sgt i32 %2, %1
br i1 %31, label %32, label %42
32: ; preds = %29, %40
%33 = phi i32 [ %36, %40 ], [ %30, %29 ]
%34 = tail call i32 @isSentence(i8* %0, i32 %30, i32 %33, [256 x i32]* %3)
%35 = icmp eq i32 %34, 0
%36 = add i32 %33, 1
br i1 %35, label %40, label %37
37: ; preds = %32
%38 = tail call i32 @isSentence(i8* %0, i32 %36, i32 %2, [256 x i32]* %3)
%39 = icmp eq i32 %38, 0
br i1 %39, label %40, label %42
40: ; preds = %32, %37
%41 = icmp eq i32 %33, %2
br i1 %41, label %42, label %32
42: ; preds = %40, %37, %29, %23, %26
%43 = phi i32 [ %28, %26 ], [ 0, %23 ], [ 0, %29 ], [ 0, %40 ], [ 1, %37 ]
store i32 %43, i32* %20
br label %44
44: ; preds = %17, %11, %4, %42, %16
%45 = phi i32 [ 0, %16 ], [ %43, %42 ], [ 0, %4 ], [ 1, %11 ], [ %21, %17 ]
ret i32 %45
}