Computer Science
Meta user
Network profile
233
reputation
1
9

AcId

Theoretical computer scientist working with formal methods.

8
answers
0
questions
~1k
people reached

Communities (15)

Top network posts

Top tags (13)

Score 3
Posts 3
Posts % 38
Score 2
Posts 1
Score 2
Posts 1
Score 1
Posts 2
Score 1
Posts 2
Score 1
Posts 1
View all tags →

Top posts (8) All Questions Answers | Votes Newest

2 CFG for L {a^nb^m | n <= m+3} Apr 28
2 Creating regular expression with sub sequences of strings Oct 15 '17
1 CFG for the language L ={a^n w | w \in {b,c}^*, n= count of b.c in w. } Apr 28
1 The order of ε-transitions in NFA Apr 27
1 Circular Doubly Linked List find length with single pointer Apr 26
0 Constructing PDA to accept language { 0^i 1^j 2^k | i = 2j or i = k, where i,j,k >= 1 } Apr 27
0 Draw a Turing machine that decides the language of all words over the alphabet {a, b} that have an odd number of a’s and an odd number of b’s Apr 27
0 2D peak reasoning to move to a half Apr 26

Badges (10)

Gold

—

Silver

1

Rarest

Bronze

9

Rarest