Profile Activity

Gigili

Meta user

Network profile

Reputation

1,453

1.5k
1.2k
1k

2016
2017
2018
2019

Top tag

algorithms

Next privilege

2,000 Rep.

Edit questions and answers

Badges

Newest

Yearling

Next badge

0/1

Impact

1 post edited

1 helpful flag

59 votes cast

Summary Answers Questions Tags Badges Favorites Bounties Reputation All actions

16 Questions

Views Newest Activity Votes

votes

answers

27k

views

The time complexity of finding the diameter of a graph

Jul 8 '17 at 18:34 Hans Hüttel 2,275

votes

answers

691

views

Is this finite graph problem decidable? What factors make a problem decidable?

algorithms computability graph-theory undecidability

Apr 30 '12 at 21:37 Kaveh 18.2k

votes

answers

views

Are all context-free and regular languages efficiently decidable?

formal-languages regular-languages context-free efficiency

Sep 29 '15 at 19:51 Community♦ 1

votes

answer

views

Is an inﬁnite union of context-free languages always context-free?

formal-languages context-free closure-properties

Apr 25 '12 at 15:12 Patrick87 10.5k

votes

answers

views

A sufficient and necessary condition about regularity of a language

formal-languages regular-languages

Mar 15 '12 at 11:35 Raphael♦ 58.9k

votes

answers

views

A DFA for recognizing comments

formal-languages automata finite-automata compilers

Apr 6 '16 at 7:21 Miles 103

votes

answers

577

views

If a predicate is not computable, what can be said about its negation?

computability proof-techniques

Oct 23 '12 at 23:59 Gilles♦ 34.6k

votes

answer

562

views

Can every linear grammar be converted to Greibach form?

formal-languages formal-grammars

Mar 27 '12 at 3:09 Kaveh 18.2k

votes

answers

14k

views

Are Turing machines more powerful than pushdown automata?

formal-languages computability automata turing-machines pushdown-automata

Jan 16 '13 at 18:31 Community♦ 1

votes

answer

266

views

How to prove or disprove that f is computable?

computability proof-techniques

Oct 23 '12 at 18:10 Pål GD 7,395

votes

answer

631

views

How to show that f(x) is primitive recursive?

computability recursion

Oct 17 '12 at 13:37 Dave Clarke 17.3k

vote

answer

views

Sources on dictionary learning and related algorithms

algorithms reference-request image-processing

Apr 24 at 7:02 Community♦ 1

vote

answer

408

views

What factors must one consider choosing an NN structure?

artificial-intelligence neural-networks neural-computing

Jan 3 '13 at 6:58 AJed 2,122

votes

answer

views

What is the exact definition of a dictionary in the concept of linear algebra and computer science?

terminology image-processing linear-algebra

Feb 23 '15 at 7:10 Raphael♦ 58.9k

-1

votes

answers

250

views

Each of the two sets is recursively enumerable given their cartesian product is

computability enumeration

May 12 '13 at 17:47 Quinn Culver 151

-2

votes

answers

729

views

Does reachability belong to P?

complexity-theory graph-theory time-complexity

Feb 6 '14 at 7:39 Artem Kaznatcheev 3,507

Stack Exchange Network

current community

your communities

more stack exchange communities

Next privilege

Next badge

16 Questions

The time complexity of finding the diameter of a graph

Is this finite graph problem decidable? What factors make a problem decidable?

Are all context-free and regular languages efficiently decidable?

Is an inﬁnite union of context-free languages always context-free?

A sufficient and necessary condition about regularity of a language

A DFA for recognizing comments

If a predicate is not computable, what can be said about its negation?

Can every linear grammar be converted to Greibach form?

Are Turing machines more powerful than pushdown automata?

How to prove or disprove that f is computable?

How to show that f(x) is primitive recursive?

Sources on dictionary learning and related algorithms

What factors must one consider choosing an NN structure?

What is the exact definition of a dictionary in the concept of linear algebra and computer science?

Each of the two sets is recursively enumerable given their cartesian product is

Does reachability belong to P?