Converting Lambda Calculus functionality to predicate logic syntax

I am trying to validate the simplest possibly notion of a formal system as relations between finite strings. I know that Lambda Calculus has the expressive power of a Turing Machine:

<λexp> ::= < var > | λ . <λexp> | ( <λexp> <λexp> )

I was thinking that it might be possible so somehow convert the functionality of lambda calculus into syntax that is closer to predicate logic by defining named functions that take finite string arguments and return finite string values.

Does anyone here have any ideas on this?

Syntax error when installing Epson Linux scanner driver (for v550)

I have an Epson v550 scanner, and have downloaded the latest official driver file.

http://support.epson.net/linux/en/iscan.php?model=perfection-v550&version=2.30.4

When I extract the file, and try to install the iscan-data package, I get the following error:

sudo dpkg -i iscan-data_1.39.1-2_all.deb  [sudo] password for brylie:  (Reading database ... 342144 files and directories currently installed.) Preparing to unpack iscan-data_1.39.1-2_all.deb ... Unpacking iscan-data (1.39.1-2) over (1.39.1-2) ... Setting up iscan-data (1.39.1-2) ... expr: syntax error: missing argument after ‘-’ tail: invalid number of lines: ‘/lib/udev/rules.d/60-libsane.rules’ 

Note: I get the same error when running ./install.sh, it is just related to the iscan-data package.

How can I fix the syntax error that is causing the .deb installation to break?

PHP Parse error: syntax error, unexpected ” (T_ENCAPSED_AND_WHITESPACE), expecting ‘-‘ or identifier (T_STRING) or variable (T_VARIABLE) or number

Buen día. Tengo un problema,me sucede que al tratar de realizar esta consulta de MySQL en PHP me sale este error:

PHP Parse error: syntax error, unexpected ” (T_ENCAPSED_AND_WHITESPACE), expecting ‘-‘ or identifier (T_STRING) or variable (T_VARIABLE) or number (T_NUM_STRING)

Aquí mi código:

require 'Smarty/libs/Smarty.class.php';     require 'conexion.php';      $  smarty = new Smarty;      $  upd=("SELECT * FROM RegistroPromedio WHERE Id LIKE ".$  _POST['Id']."");       $  dato=mysqli_fetch_array($  upd);              if (isset($  _POST['submit'])) {             $  qry=("UPDATE RegistroPromedio SET                  nombre='.$  _POST['nombre'].'                 ,apellido='.$  _POST['apellido'].'                 ,edad='.$  _POST['edad'].'                 ,TipoId='.$  _POST['TipoId'].                 ,Id='.$  _POST['Id'].'                 ,salario='.$  _POST['salario'].'");          header('Location:index.php');      } var_dump($  qry);       $  smarty->assign('users',$  dato);     $  smarty->display("templates/edit.html"); 

Agradezco si me pueden ayudar.

MySQL Syntax error when trying to create database trigger

When Trying to create the below trigger, I am receiving a syntax error. It looks good to me and I’m having a terrible time trying to figure it out.

  DELIMITER $  $       CREATE TRIGGER trg_pic_hours     AFTER INSERT ON CREW     FOR EACH ROW     BEGIN     IF (NEW.CREW_JOB = 'Pilot') THEN     UPDATE PILOT     SET PIL_PIC_HRS = TEMP_PIL.PIL_PIC_HRS + CHARTER.CHAR_HOURS_FLOWN     WHERE CHARTER.CHAR_TRIP = NEW.CHAR_TRIP     AND PILOT.EMP_NUM = NEW.EMP_NUM;     ENDIF;     END$  $       DELIMITER;  ERROR 1064 (42000) at line 2: You have an error in your SQL syntax; check the manual that corresponds to your MySQL server version for the right syntax to use near '; END' at line 10 

Syntax error in SAProuter script

I came across following script:

    ### Variables ###  porta=”3299″;  SECUDIR=”/usr/sap/saprouter”;  SNC_LIB=”/usr/sap/saprouter/libsapcrypto.so”;  DNAME=”p:CN=server, OU=0001000000, OU=SAProuter, O=SAP, C=DE”;  ### Variables end ###  ### Check if saprouter is already running:  pid1=”`netstat -nlp | grep ‘0.0.0.0:'”$  porta”‘.*saprouter’ | sed -n 1p |awk ‘{print $  7}’ | cut -f1 -d “/” `”;  if [ -f $  pid1 ]  then # Not running.    ### check if the port is free:    echo -e “\nChecking port…”;    processo=”`netstat -nlp | grep 0.0.0.0:”$  porta” | sed -n 1p |awk ‘{print $  7}’ | cut -f1 -d “/”`”;    sleep 2;    # If port free:    if [ -f $  processo ]    then    echo -e ‘\nStarting SAPRouter on port: ‘ $  porta;    sleep 2;    export SECUDIR=$  SECUDIR    export SNC_LIB=$  SNC_LIB    /usr/sap/saprouter/./saprouter -r -R “$  SECUDIR/saprouttab” -W 60000 -G “$  SECUDIR/saprouterlog.txt” -S $  porta -K “$  DNAME” &    pid=”`netstat -nlp | grep ‘0.0.0.0:'”$  porta”‘.*saprouter’ | sed -n 1p |awk ‘{print $  7}’ | cut -f1 -d “/” `”;    echo -e “\n\nSAPRouter is running on PID: “$  pid;    echo -e “\n”;    exit;    # if the port isnot free.    else    echo -e ‘——————————————————-\n’;    echo -e ‘ It is not possible to start SAPRouter\n’;    echo -e ‘ The PID: ‘$  processo’ is already using the port: ‘ $  porta;    echo -e ‘——————————————————-\n’;    fi    ###################  else # Its already running.    echo -e “\nSAPRouter is already running”;    pid=”`ps -ef |grep saprouter | sed -n 1p |awk ‘{print $  2}’ `”;    echo -e “\nPID: “$  pid;    echo -e “\n”;    sleep 2;  fi 

I think there are several errors present. I found the code here: There is a comment fixing some errors but I do not think that all errors are fixed. I noticed the quotes , which I replaced with ". But I am still getting this error:

run_router.sh: 12: [: “'netstat: unexpected operator -e  SAPRouter is already running -e  PID: 'ps -ef |grep saprouter | sed -n 1p |awk ‘{print }' ' -e  

Since I have no experience with scripts, I do not know what quoted string is unterminated, since there is a lot of quoted strings on this line:

pid1=”`netstat -nlp | grep ‘0.0.0.0:'”$  porta”‘.*saprouter’ | sed -n 1p |awk ‘{print $  7}’ | cut -f1 -d “/” `”; 

Could you help me fix this script?

Thanks.

initramfs.conf syntax? Setting up encrypted system

I’m setting up an encrypted system, and I’m having troubling with mkinitramfs. I’m using the archlinux encryption guide, which specifies what hooks I need to add to initramfs.conf, but the format I have the line in is, I believe, specifically for mkinitcpio.conf.

HOOKS=(base systemd autodetect keyboard sd-vconsole modconf block sd-encrypt filesystems fsck)"

It gives me a syntax error with ‘”(” unexpected’. Removing the brackets returns “excess arguments”.

What is the correct syntax for initramfs.conf?

Syntax error with exit code

I want to check my script with exit codes.

        sudo groupmod -n $  newname $  name          sudo usermod -l $  newname --move-home --home /home/$  newname $  name          let $  exitcode=$  ?         echo $  exitcode             if [ "$  exitcode" = 0 ]               then                    echo "Everything's ok"                 exit             elif [ "$  exitcode" != 0 ]             then                 echo "Try again"                 exit              fi 

Here is wath I get :

  let :=0 :Syntax error :operand expected (error is "=0") 

I don’t get it. I use the shell buit-in keyword let.

Parse error: syntax error unexpected

I get this error when i enter 623.line to single.php

Parse error: syntax error, unexpected ‘;’ in /home/deniztas/sac-ekimi.deniz-tasarim.site/wp-content/themes/html5blank-stable22/single.php on line 623 Site teknik zorluklarla karşılaşıyor.

the 623.line:

 <?php if ( function_exists('journalite_author_bio') ) {journalite_author_bio();}?> 

how to solve it?

edit:

i added all single.php

    <?php get_header(); ?>  <?php wpb_set_post_views(get_the_ID()); ?>    <main role="main">  <section class="container">        <div class="row " >       <div class="col-lg-10 ">             <div class="row">           <div class="col-lg-12 ">                             <?php if (have_posts()): while (have_posts()) : the_post(); ?>            <!-- article -->          <article id="post-<?php the_ID(); ?> <?php post_class();"" ?>                <!-- post thumbnail -->                <!-- /post thumbnail -->              <?php the_content(); // Dynamic Content                ?>                </div>                                        <!-- /post title -->                  <?php the_tags( __( 'Tags: ', 'html5blank' ), ', ', '<br>'); // Separated by commas with a line break at the end ?>                    <?php edit_post_link(); // Always handy to have Edit Post Links available ?>                     <!-- profile card -->                 <style>  @import "https://fonts.googleapis.com/css?family=Open+Sans:300,400";    .badgescard,  .firstinfo {      display: flex;      justify-content: center;      align-items: center;  }    html {      height: 100%;  }      *,  *:before,  *:after {      box-sizing: border-box;  }    .contentz {      position: relative;      animation: animatop 0.9s cubic-bezier(0.425, 1.14, 0.47, 1.125) forwards;      }    .card {      width: full;      min-height: 100px;      padding: 20px;      border-radius: 3px;      background-color: white;      box-shadow: 0px 10px 20px rgba(0, 0, 0, 0.2);      position: relative;      overflow: hidden;  }    .card:after {      content: '';      display: block;      width: 190px;      height: 300px;      background: cadetblue;      position: absolute;      animation: rotatemagic 0.75s cubic-bezier(0.425, 1.04, 0.47, 1.105) 1s both;  }    .badgescard {      padding: 10px 20px;      border-radius: 3px;      background-color: #00bcd4;      color:#fff;      width: 450px;      box-shadow: 0px 10px 20px rgba(0, 0, 0, 0.2);      margin-left: 10px;      z-index: -1;      left: 10px;      bottom: 10px;        animation: animainfos 0.5s cubic-bezier(0.425, 1.04, 0.47, 1.105) 0.75s forwards;  }    .badgescard span {      font-size: 1.6em;      margin: 0px 6px;      opacity: 0.6;  }    .firstinfo {      flex-direction: row;      z-index: 2;      position: relative;  }    .firstinfo img {      border-radius: 50%;      width: 120px;      height: 120px;  }    .firstinfo .profileinfo {      padding: 0px 20px;  }    .firstinfo .profileinfo h1 {      font-size: 1.8em;  }    .firstinfo .profileinfo h3 {      font-size: 1.2em;      color: #00bcd4;      font-style: italic;  }    .firstinfo .profileinfo p.bio {      padding: 10px 0px;      color: #5A5A5A;      line-height: 1.2;      font-style: initial;  }    @keyframes animatop {      0% {          opacity: 0;          bottom: -500px;      }      100% {          opacity: 1;          bottom: 0px;      }  }    @keyframes animainfos {      0% {          bottom: 10px;      }      100% {          bottom: -42px;      }  }    @keyframes rotatemagic {      0% {          opacity: 0;          transform: rotate(0deg);          top: -24px;          left: -253px;      }      100% {          transform: rotate(-30deg);          top: -24px;          left: -78px;      }  }  </style>          <div class="contentz" >      <div class="card">          <div class="firstinfo"><?php echo get_avatar( get_the_author_meta('email'), '90' );                ?>              <div class="profileinfo">                 <?php echo ' <h1> ';  the_author_link();  echo ' </h1> ';?>                   <h3>Swift developer</h3>                 <?php echo ' <p class="bio"> '; the_author_meta('description'); echo '</p>' ?>              </div>          </div>      </div>      <div class="badgescard" >               <?php    $  youtube_profile = get_the_author_meta( 'youtube_profile' );    if ( !empty($  youtube_profile) || $  youtube_profile != '' ) {        echo '<span class="socmed-author socmed-author-twitter"><a href="'.esc_url($  youtube_profile).'" target="_blank" ><i class="fa fa-youtube-square fa-2x"></i></a></span>';  }  ?>            <?php    $  twitter_profile = get_the_author_meta( 'twitter_profile' );    if ( !empty($  twitter_profile) || $  twitter_profile != '' ) {        echo '<span class="socmed-author socmed-author-twitter"><a href="'.esc_url($  twitter_profile).'" target="_blank" ><i class="fa fa-twitter-square fa-2x"></i></a></span>';  }          ?>                    <?php    $  rss_url = get_the_author_meta( 'rss_url' );    if ( !empty($  rss_url) || $  rss_url != '' ) {        echo '<span class="socmed-author socmed-author-twitter"><a href="'.esc_url($  rss_url).'" target="_blank" ><i class="fa fa-rss-square fa-2x"></i></a></span>';  }          ?>                          <?php    $  facebook_profile = get_the_author_meta( 'facebook_profile' );    if ( !empty($  facebook_profile) || $  facebook_profile != '' ) {        echo '<span class="socmed-author socmed-author-twitter"><a href="'.esc_url($  facebook_profile).'" target="_blank" ><i class="fa fa-facebook-square fa-2x"></i></a></span>';  }          ?>                                <?php    $  linkedin_profile = get_the_author_meta( 'linkedin_profile' );    if ( !empty($  linkedin_profile) || $  linkedin_profile != '' ) {        echo '<span class="socmed-author socmed-author-twitter"><a href="'.esc_url($  linkedin_profile).'" target="_blank" ><i class="fa fa-linkedin-square fa-2x"></i></a></span>';  }          ?>                                         <?php    $  pinterest_profile = get_the_author_meta( 'pinterest_profile' );    if ( !empty($  pinterest_profile) || $  pinterest_profile != '' ) {        echo '<span class="socmed-author socmed-author-twitter"><a href="'.esc_url($  pinterest_profile).'" target="_blank" ><i class="fa fa-pinterest-square fa-2x"></i></a></span>';  }          ?>                                             <?php    $  instagram_profile = get_the_author_meta( 'instagram_profile' );    if ( !empty($  instagram_profile) || $  instagram_profile != '' ) {        echo '<span class="socmed-author socmed-author-twitter"><a href="'.esc_url($  instagram_profile).'" target="_blank" ><i class="fa fa-instagram-square fa-2x"></i></a></span>';  }          ?>                            </div>  </div>                   <?php if ( function_exists('journalite_author_bio') ) {journalite_author_bio();}?>                   <!-- /profile card -->                       <?php comments_template(); ?>              </article>          <!-- /article -->      <?php endwhile; ?>        <?php else: ?>            <!-- article -->          <article>                <h1><?php _e( 'Sorry, nothing to display.', 'html5blank' ); ?></h1>            </article>          <!-- /article -->        <?php endif; ?>              </div>        </div>         <div class="col-lg-2" >           <nav class="navbar navbar-expand-md navbar-light  position-fixed shadow p-3 mb-5 bg-white rounded  " style="background-color:#F3F3F3;  overflow: hidden; margin-top:50px;" role="navigation">                             <?php get_sidebar(); ?>               <?php dynamic_sidebar('smartslider_area_1'); ?>                  </nav>             </div>         </div>        </div>  </section>  </main>        <?php get_footer(); ?>