Results from the 2022 Developer Survey are now available
Computer Science
user avatar
user avatar
user avatar
AcId
  • Member for 9 years, 1 month
  • Last seen more than a month ago
Profile Activity
Stats
233
reputation
9k
reached
8
answers
0
questions
Communities
View all
About

Theoretical computer scientist working with formal methods.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
9
bronze badges
Top tags
View all tags
3
Score
3
Posts
38
Posts %
2
Score
1
Posts
12
Posts %
2
Score
1
Posts
12
Posts %
1
Score
2
Posts
25
Posts %
1
Score
2
Posts
25
Posts %
1
Score
1
Posts
12
Posts %
Top posts
All Questions Answers
Score Newest
answer
2
Creating regular expression with sub sequences of strings
Oct 15, 2017
answer
2
CFG for L {a^nb^m | n <= m+3}
Apr 28, 2019
answer
1
CFG for the language L ={a^n w | w \in {b,c}^*, n= count of b.c in w. }
Apr 28, 2019
answer
1
Circular Doubly Linked List find length with single pointer
Apr 26, 2019
answer
1
The order of ε-transitions in NFA
Apr 27, 2019
answer
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, 2019
answer
0
Constructing PDA to accept language { 0^i 1^j 2^k | i = 2j or i = k, where i,j,k >= 1 }
Apr 27, 2019
answer
0
2D peak reasoning to move to a half
Apr 26, 2019
Top network posts
View all network posts
14
How do I clean my computer using isopropyl alcohol?
14
No bashrc file in my home directory
11
Is DLL executable?
7
Does Doxygen have a line-continuation feature?
7
Does Doxygen have a line-continuation feature?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.