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

graph-databases

shake-build-system

hedera-hashgraph

metadata-extractor

screen-scraping

distributed-transactions

continuous-deployment

jetpack-compose-naviga...

spring-boot-2.6.0

experimental-design

angular-oauth2-oidc

react-dropdown-tree-se...

azure-scheduler

noise-reduction

jquery-ui-accordion

white-framework

back-button-control

state-restoration

randomaccessfile

newrelic-platform

system.transactions

webpage-screenshot

windows-media-player

templatebinding

Resources