theory

theory

Binary to unary turing machine

Pumping Lemma and Hierachy

The most efficient way to guess the number in range of x?

In Context Free Grammer, do we replace all variable during a substitution? or can we apply substitution rule to only of the variable of same type?

When to use Ø for states in DFA / NFA

Construct an NFA/DFA/Regular Expression

JAGS model with unknown data points

Reference Request: Books containing examples of Applied Theory/Math

Interpreting classification report for neural network algorithm [closed]

How do you know how many states are needed for a finite automata?

What is CTL Model Checking?

What is the name of the relation that the attribute have to the class that contains it?

Find the regular expressions of the following?Language of odd length and cannot contain length multiple of 3 over 𝚺={𝒂,𝒃} [closed]

Trying to find REST API Examples (Real Time)

Adam is thinner than Barbara. Dalton is less thin than Celia. Adam is less thin than Celia

Is it quicker to do division batch-wise or just once?

State Diagram for Turing Machine to compute next string in lexicographical order

Is a primarily prime TM decidable?

Fibers / Coroutines vs Delimited Continuations

Can we model the relationship between (heap size vs latency) and (heap size vs throughput) using universal law of scalability?

Difference between places and workers in APGAS framework and how are the workers implemented in Java?

Chomsky Hierarchy: LR(k) grammars vs Deterministic CFGs?

Understanding "well founded" proofs in Coq

Variable declaration from the value of a different variable

How do I construct a formal grammar like that?

The purpose of using Q-Learning algorithm

Computation theory - DFA [closed]

Sub-Turing Complete Class of computational models

What is it called if two versions of a program performs the same job, but does it using different code?

conversion of pushdown automata

Applications for fibonacci series in software paradigm

Is it a state machine when it works with memory?

How to add a 2D texture to an Equirectangular image

What is co-Turing recognizable, how do I prove complement of two languages is decidable using Co-Turing concepts?

constructing a non deterministic turing machine

Class inheritance versus Interface inheritance

How do keyword research/analysis software work [theoratically]? [closed]

Can anyone explain this context-free grammar to me?

Can Turing machines halt and implicitly accept strings that the Turing machine cannot handle?

Solving for X Bit-string Flicking

Do software systems realy have more states than hardware ones?

Does an NFA necessarily have final states?

What is it called when a key in a key value pair loses it's meaning?

construct an FA (theory of automata)

in object oriented programming what do you mean by object?

How can I give T(n) in asymptotic notation for recursions?

DFA for a Tic Tac Toe Game

Construct a context free grammar for a language in Chomsky Normal Form

RejTM is undecidable using recursion theorem

M is a Turing machine that accepts string w and does not accept string ε

show that emptiness and finiteness are unsolvable for linear bounded automata

Hard to pin non-regular language with pumping lemma

Difference between service implementation and service deployment

How to calculate function points [closed]

Design a context free grammar language where length of a = double length of b

write a regular expression expression for the set of strings over alphabet {a,b,c) containing at least one a and at least one b [closed]

Can programming be truly declarative? [closed]

(r-1)'s complement or 9's complement

How to identify grammar is LR(0) or SLR(1)?

In object oriented programming, is it safe to always downcast a variable?

page:1 of 3 next page main page

Categories

selenium-webdriver

google-data-studio

shake-build-system

quantum-computing

unet-neural-network

uiactivityviewcontroller

jira-rest-java-api

identityserver4

windows-10-universal

spring-boot-2.6.0

sap-data-dictionary

mapbox-api-staticimages

advanced-rest-client

firebase-ab-testing

google-cloud-debugger

video-compression

azure-dashboard

websphere-portal

method-signature

android-context

material-dialog

software-collections

android-instrumentation

avspeechsynthesizer

maven-docker-plugin

google-plus-one

mongodb-indexes

argumentexception

lync-server-2010

enterprise-web-library

reference-library

Resources