People who code: we want your input. Take the Survey

Network profile

user678392

Reputation

421

421
361
301

2018
2019
2020
2021

Top tag

formal-languages

Next privilege

500 Rep.

Access review queues

Badges

2

5

12

Newest

Yearling

Next badge

0/1

Impact

0 posts edited

3 helpful flags

5 votes cast

10 Questions

Votes Activity Newest Views

9

12

votes

1

answer

21k

views

How to map the tapes of a “k-tape” Turing Machine into the single tape of a “1-tape” Turing Machine

turing-machines simulation

Dec 29 '15 at 13:27 Community♦ 1

3

5

votes

3

answers

15k

views

Language of balanced parentheses; Biconditional proof about parentheses

formal-languages context-free induction

Jun 5 '17 at 2:32 fade2black 9,472

1

4

votes

2

answers

2k

views

Determine if this language is regular

formal-languages regular-languages

Oct 28 '15 at 15:35 András Salamon 3,242

3

votes

3

answers

215

views

Decide if L is regular or not and argue it. Trying to use Pumping Lemma

formal-languages regular-languages pumping-lemma

Sep 10 '13 at 14:22 Denis 1,337

2

votes

1

answer

2k

views

Use pumping lemma to show L is not context free

context-free pushdown-automata

Oct 22 '13 at 23:00 Community♦ 1

1

2

votes

1

answer

7k

views

Two Dimensional Tape of Turing Machine

computability turing-machines simulation

Sep 26 '13 at 17:07 Shaull 15.4k

1

vote

3

answers

169

views

Determine whether two languages are context free

context-free pushdown-automata

Oct 2 '13 at 23:17 Community♦ 1

1

vote

1

answer

743

views

Linear Programming: algorithm to check if ratios can be combined with n bottles to equal a given ratio

linear-programming

Sep 10 '13 at 12:08 Peter Shor 4,321

1

vote

2

answers

124

views

Show that A** subset of A*, where A is a regular language

formal-languages regular-languages

Aug 26 '13 at 13:32 Tpecatte 361

1

0

votes

2

answers

686

views

Prove L to not context free using pumping lemma on language L

context-free pumping-lemma

Sep 24 '13 at 14:51 Patrick87 12.4k

Computer Science Stack Exchange works best with JavaScript enabled