theory

theory

Converting a Context-Free Grammar to a PDA

Genetic algorithm - iterative optimization

VDM-SL notation for a single, finite subset

Theory what is meant by validating security concerns for these user groups

What are ways a debug statement could "fix" bugs in a program? [closed]

Proof through Number of Derivation Steps

Formally and Informally describe the language of this grammar

Context free grammar assistance

Superscript plus sign meaning

NFA to DFA conversion = deterministic?

Understand the pumping lemma

Context Sensitive Grammar for a specific language

Concatenation of a infinite language and a finite language

Difference reification and implementation

Can internet browsers catch keys pressed in other programs?

Chunking Arithmetics

How to convert a DFA to a Turing machine?

prove bubble sort is ordered by lemma

Confusing Language for a Deterministic Finite State Machine

How to design a DFA for the following language?

Complexity of bin packing with defined function of bin weight

Difference between strongly and weakly typed languages?

Engineering impossible bugs? [closed]

Why isn't the class of Turing-Recognizable languages closed under Complement?

explaining context free grammar ambiguity for job interview

What is the intersection of two languages with different alphabets? [closed]

What will be the DFA for the regular expression 0(0+1)*0+1(0+1)*1?

Does this proof really prove undecidability of halting?

What edges are not in any MST

turing computable function

Addition operation versus multiplication operation

Steps to creating an NFA from a regular expression

Getting win percentages for Texas hold'em poker without monte carlo/exhaustive enumeration

Directed weighted graph walk

Context Free pumping lemma

Theory of Computation: Design a 2-stack PDA for this language?

Optimal Solution - Programming Theory

Can a hypergraph represent a nondeterministic Turing machine?

Difference between Turing-Decidable and Co-Turing-Decidable

Programming Paradigm Beginner

Software analysis patterns - pros and cons [closed]

DFA and regular languages

Push Down Automata

What is the result of divide by zero?

Is a Turing machine a real device or an imaginary concept?

Proof that the halting problem is NP-hard?

Tool to produce self-referential programs?

Parallel algorithms O(log p)

CS theory problem: evaluating each element in an array only once and choosing the largest value

Theoretically, is BNF sufficient to describe all file format? [closed]

Query Term elimination

Is there an algorithm to go from a Context-sensitive grammar to a linear bounded automata?

Does Presenter in Model-View-Presenter create views?

Determining time complexity of for loops

Kinect Gesture Recognition Theory

What's the Rationale Behind the Design of GUID's?

How to know what's a language?

Pre-requisites for learning lambda calculus

How to call a structured language that cannot loop or a functional language that cannot return

with which programming language social networks like facebook , or forums can be written? [closed]

page:2 of 3 prev page next page main page

Categories

google-cloud-pubsub

unhandled-exception

android-textinputlayout

continuous-deployment

lightning-network

browser-automation

quickbooks-online

service-accounts

terraform-cloud

noise-reduction

jquery-ui-accordion

ms-release-management

stanford-nlp-server

inherited-resources

computer-science-theory

visual-c++-2012

nsusernotification

windows-networking

weak-references

Resources