Perguntas com a marcação «communication-protocols»

Pelo que descobri, uma quantidade muito grande de protocolos que viajam pela Internet são "baseados em texto" e não binários. Os protocolos em questão incluem, mas não estão limitados a HTTP, SMTP, FTP (acho que este é todo baseado em texto?), WHOIS, IRC. De fato, alguns desses protocolos passam por …

47 computer-networks  communication-protocols  protocols 

Se o problema dos dois generais é insolúvel, como podemos concordar com os seres humanos? Quero dizer, nos comunicamos todos os dias e temos as mesmas limitações que qualquer problema de comunicação tratado pela ciência da computação. Por que isso não nos afeta?

25 computer-networks  communication-protocols 

Recentemente, conversei com um amigo sobre um site que propunha desafios regex, combinando principalmente um grupo de palavras com uma propriedade especial. Ele estava procurando por um regex que corresponda a cadeias de caracteres como ||||||||onde o número de |é primo. Eu imediatamente disse a ele que nunca funcionaria, porque …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols