Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
Loading…
  1. 0
  2. +0
    • Tour Start here for a quick overview of the site
    • Help Center Detailed answers to any questions you might have
    • Meta Discuss the workings and policies of this site
    • About Us Learn more about Stack Overflow the company
    • Business Learn more about hiring developers or posting ads with us
  3. Log in Sign up
  4. current community

    • Computer Science
      help chat
    • Computer Science Meta

    your communities

    Sign up or log in to customize your list.

    more stack exchange communities

    company blog

By using our site, you acknowledge that you have read and understand our Cookie Policy, Privacy Policy, and our Terms of Service.

Computer Science
  1. Home
    1. Questions
    2. Tags
    3. Users
    4. Unanswered
Profile Activity
Briomkez
Meta user
Network profile

Reputation

87
  • 87
  • 82
  • 77
  • Mar
  • Jun
  • Sep
  • Dec

Top tag

static-analysis

Next privilege

100 Rep.
Edit community wikis

Badges

7

Newest

 Tumbleweed

Next badge

4/5
Curious

Impact

~618
people reached
0 posts edited
0 helpful flags
20 votes cast
Summary Answers Questions Tags Badges Favorites Bounties Reputation All actions

6 Questions

Views Newest Activity Votes
 
3
votes
1
answer
121
views

Where can we put primitive recursive functions in Chomsky hierarchy?

chomsky-hierarchy
Sep 4 '18 at 16:26 Yuval Filmus 214k
 
2
votes
0
answers
29
views

What is synonym propagation?

static-analysis
Sep 21 '18 at 11:15 David Richerby 76.1k
 
2
votes
1
answer
242
views

What is a hyper property?

static-analysis
Sep 17 '18 at 12:35 David Richerby 76.1k
 
1
vote
1
answer
142
views

Can PDA model Turing Complete objects if the objects' state are finite?

pushdown-automata turing-completeness
Aug 13 at 14:01 Community♦ 1
 
0
votes
0
answers
40
views

Object-oriented small-step semantics NOT based on rewriting techniques

object-oriented small-step-semantics
Mar 12 at 16:52 D.W.♦ 112k
 
0
votes
1
answer
44
views

sha256 computability class

computability
Sep 4 '18 at 16:34 chi 13.4k
Computer Science
  • Tour
  • Help
  • Chat
  • Contact
  • Feedback
  • Mobile
Company
  • Stack Overflow
  • Stack Overflow Business
  • Developer Jobs
  • About
  • Press
  • Legal
  • Privacy Policy
Stack Exchange
Network
  • Technology
  • Life / Arts
  • Culture / Recreation
  • Science
  • Other
  • Stack Overflow
  • Server Fault
  • Super User
  • Web Applications
  • Ask Ubuntu
  • Webmasters
  • Game Development
  • TeX - LaTeX
  • Software Engineering
  • Unix & Linux
  • Ask Different (Apple)
  • WordPress Development
  • Geographic Information Systems
  • Electrical Engineering
  • Android Enthusiasts
  • Information Security
  • Database Administrators
  • Drupal Answers
  • SharePoint
  • User Experience
  • Mathematica
  • Salesforce
  • ExpressionEngine® Answers
  • Stack Overflow em Português
  • Blender
  • Network Engineering
  • Cryptography
  • Code Review
  • Magento
  • Software Recommendations
  • Signal Processing
  • Emacs
  • Raspberry Pi
  • Stack Overflow на русском
  • Code Golf
  • Stack Overflow en español
  • Ethereum
  • Data Science
  • Arduino
  • Bitcoin
  • Software Quality Assurance & Testing
  • Sound Design
  • Windows Phone
  • more (27)
  • Photography
  • Science Fiction & Fantasy
  • Graphic Design
  • Movies & TV
  • Music: Practice & Theory
  • Worldbuilding
  • Video Production
  • Seasoned Advice (cooking)
  • Home Improvement
  • Personal Finance & Money
  • Academia
  • Law
  • Physical Fitness
  • Gardening & Landscaping
  • Parenting
  • more (11)
  • English Language & Usage
  • Skeptics
  • Mi Yodeya (Judaism)
  • Travel
  • Christianity
  • English Language Learners
  • Japanese Language
  • Chinese Language
  • French Language
  • German Language
  • Biblical Hermeneutics
  • History
  • Spanish Language
  • Islam
  • Русский язык
  • Russian Language
  • Arqade (gaming)
  • Bicycles
  • Role-playing Games
  • Anime & Manga
  • Puzzling
  • Motor Vehicle Maintenance & Repair
  • Board & Card Games
  • Bricks
  • Homebrewing
  • Martial Arts
  • The Great Outdoors
  • Poker
  • Chess
  • Sports
  • more (16)
  • MathOverflow
  • Mathematics
  • Cross Validated (stats)
  • Theoretical Computer Science
  • Physics
  • Chemistry
  • Biology
  • Computer Science
  • Philosophy
  • Linguistics
  • Psychology & Neuroscience
  • Computational Science
  • more (8)
  • Meta Stack Exchange
  • Stack Apps
  • API
  • Data
  • Blog
  • Facebook
  • Twitter
  • LinkedIn

site design / logo © 2019 Stack Exchange Inc; user contributions licensed under cc by-sa 4.0 with attribution required. rev 2019.12.9.35587